[Github-comments] [geany/geany] Please support font size as floating point value (#703)

[Deep Sleep]

So Geany is currently GTK3, right? I am honestly asking, because I'm not sure if the Debian version 1.31 is compiled with GTK2 or GTK3.

The line spacing is fortunately a preference of "filetypes.common", independent of any theme schemings.

Maybe all the "lost or hidden" configurations should be added as default into this file with short descriptions, so you don't really need to add this as a GUI configuration.

Even better, **all** settings of Geany, hidden or not, shall be represented in such an editable file without any GUI, or if needed, something like the "about:config" of Firefox.
I'm fully aware that this won't be liked by everyone, but I raise my voice to show that at least someone would like this and that this procedure can save trouble or time, as anyone can add new features or configurations without adding this to the GUI and the features won't be forgotten after adding them to the code. If not, then well, "what a bummer..".

After searching for config flags, I am quite amazed and shocked, how much more possible configurations Geany offers by this filetypes.common, which is not found in the GUI settings..

At last, it is indeed the same font it seems, hmm cannot complain on that one..

-- 
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/issues/703#issuecomment-325136470
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170826/9685a835/attachment.html>