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

elextr notifications at xxxxx
Mon Jun 22 00:53:47 UTC 2020


@andy5995 sorry second thought, if I read it correctly the code does not set width to 12 if it does not exist in filetypes.common.  Remember thats a file thats saved to user configs everywhere and those won't be updated with a new entry so the code has to handle it.

-- 
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-647208613
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20200621/17e8eb42/attachment.htm>


More information about the Github-comments mailing list