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
