About placeholder labels' position
I encounter 2 different placeholder labels' position :
- in lieu of the folded lines, i.e. under the "folding" header
- at the end of the "folding" header
This second type seems to have 2 advantages : it is more compact, and it allows to move up/down the block (header and folded lines) in one step.
Is it possible to choose between those 2 configurations ?