[Github-comments] [geany/geany] [wip]add 'folding margin width setting' (#2140)

Andy Alt notifications at xxxxx
Wed Jun 26 07:41:15 UTC 2019


ok

So what's the folding margin being referred to by @DevynCJohnson in https://github.com/geany/geany/issues/2068#issue-403895742?

>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.

The thing on the right of the line number pane where the "-" signs are? Or does the folding margin include that plus the line number pane? And what vars should I be looking for to start on that and make the width of it user-configurable? Is the goal to have the width set by click-dragging and the value updates in filetypes.common,  or the user has to manually edit a configuration file like @DevynCJohnson mentioned?

-- 
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/pull/2140#issuecomment-505759378
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190626/56273d8a/attachment.html>


More information about the Github-comments mailing list