31
Nightly builds / Re: The 27 May 2026 build (13855) is out.
« Last post by eckard_klotz on July 20, 2026, 12:52:33 pm »Hello Miguel Gimenez.
If you prefer the current margin order but your users not the alternative will be to make the margin order configurable.
But I fear this will mean much more effort for you.
Thus, I just ask you to solve the folding issue and changing the margin order is a simple way to fix the issue without disabling the folding completely.
Best regards,
Eckard Klotz.
Quote
... Relating margin order, I prefer it as is. ...
- It is not the order but the unwanted firing of folding, that is disturbing.
- An unwanted folding means always to breakdown the development-flow.
- Suddenly and unexpected the text-part, you want to edit, is vanishing.
- Instead of of implementing your idea, you have to unfold again.
- Than you have to search for the text-position you wanted to work on.
- Finally, by clicking on it, you risk to fold again.
- I know nobody who is not frustrated by this.
- Moving the folding margin to the left and away from the text area prevents this nasty disturbance.
If you prefer the current margin order but your users not the alternative will be to make the margin order configurable.
But I fear this will mean much more effort for you.
Thus, I just ask you to solve the folding issue and changing the margin order is a simple way to fix the issue without disabling the folding completely.
Best regards,
Eckard Klotz.
Recent Posts
, so this change only fixes box size in HiDPI. Relating margin order, I prefer it as is.