[Github-comments] [geany/geany] Size symbols and fold margins proportional to line height (#1738)
elextr
notifications at xxxxx
Fri Jan 12 06:25:32 UTC 2018
Agree its better than fixed 16 pixels, thats silly. I'm just checking that it won't give a different set of silly results in some circumstances :)
BTW why did you scale it off the line height not the character width? Also does SCI_TEXTHEIGHT() include the configurable extradescent/ascent or not?
--
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/1738#issuecomment-357153855
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180112/103fe21e/attachment.html>
More information about the Github-comments
mailing list