This makes those margin better adapt larger font sizes and zooms.
Fixes #1733.
https://github.com/geany/geany/pull/1738
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.