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