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

Andy Alt notifications at xxxxx
Mon Jun 24 23:37:21 UTC 2019


I think I'm confused about this for more than reason. I'm doing something with SYMBOL_MARGIN_WIDTH but the symbol margin as I understand it is the left-hand pane, in which the width is already resizable.

Correct  me if I'm wrong, but it would make more sense to try this with the line number margin, which currently does not have a resizable width.

-- 
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-505220566
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190624/e5d9f869/attachment-0001.html>


More information about the Github-comments mailing list