Correct me if I am wrong, but I do not see a way to change the width of the 
folding margin. It also appears that `fold.on.open` does not work in Geany. 
Could a feature be added so that users have access to setting the properties 
that would normally be seen in a `SciTEGlobal.properties` file? For instance, I 
am needing to change `fold.margin.width=24` and `fold.on.open=1`.




-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/2068

Reply via email to