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

Andy Alt notifications at xxxxx
Wed Jul 10 04:39:52 UTC 2019


@andy5995 pushed 1 commit.

65e968a571f8882508ab80d2dcbeb99c9f3ea6ba  soft-code setting for width of folding margin


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/geany/geany/pull/2140/files/5c5ab659bfaf37ee6b4cbe1eba66f4280b01d9ee..65e968a571f8882508ab80d2dcbeb99c9f3ea6ba
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190709/f185479f/attachment.html>


More information about the Github-comments mailing list