[Github-comments] [geany/geany] choose font: classify families into monospace/proportional (#1928)

VictorelPetrovich notifications at xxxxx
Fri Aug 24 23:43:06 UTC 2018


@codebrainz @elextr Yes indeed filtering will do, and it's probably better than having the entire list sorted: if the list starts with say monospace fonts, one will have to scroll alot till gets to the proportional ones. 
Whether it's specifically [combobox ](https://developer.gnome.org/gtk3/stable/GtkComboBox.html) to select one of the 3 options ( mono., prop., both), or just 2 [checkbuttons](https://developer.gnome.org/gtk3/stable/GtkCheckButton.html) to select one or both of (mono. , prop.) -- both do the job.

It's just a little convenient feature; I can only speak for myself, and I seldom need to pick fonts, but when I do it's tedious to scroll such a long list.  It's the same "problem" in any other editor I remember, so it's not something to blame Geany at all. Perhaps if one editor does it, then others will follow too :)
But by all means, I'm not trying to distract you from more serious problems.


-- 
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/1928#issuecomment-415909499
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180824/41499eea/attachment.html>


More information about the Github-comments mailing list