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

Colomban Wendling notifications at xxxxx
Sat Oct 10 14:46:27 UTC 2020


Hum, I just noticed that #2140 has been merged in the current release window, so we don't have a released version with the setting, which makes me less worried about backward compatibility.  The question whether there are "legitimate" use cases where the proposed adaptive version is not enough and requires a setting still stands, but I'm less worried as well, as there would be an alternative proposal that could still be improved upon.

-- 
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#issuecomment-706560587
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20201010/de24aec2/attachment.htm>


More information about the Github-comments mailing list