BTW, what's the unit of the setting? pixels, chars, apples?
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3612#issuecomment-1768237069
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3612/c1768237069@github.com