[Github-comments] [geany/geany] Size symbols and fold margins proportional to line height (#1738)

Colomban Wendling notifications at xxxxx
Fri Jan 12 05:35:12 UTC 2018


This makes those margin better adapt larger font sizes and zooms.

Fixes #1733.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/1738

-- Commit Summary --

  * Size symbols and fold margins proportional to line height

-- File Changes --

    M src/editor.c (2)
    M src/sciwrappers.c (25)

-- Patch Links --

https://github.com/geany/geany/pull/1738.patch
https://github.com/geany/geany/pull/1738.diff

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


More information about the Github-comments mailing list