[Github-comments] [geany/geany] RFC: New Grouping of filetypes (#2087)

[Andy Alt]

> I like support for lots of different languages. A change that may be quite simple may be
> to let the user keep some kind of "defaults" for the main languages in used; something
> a bit like keeping a number that seems reasonable... like, max up to 15 languages or
> 12 or something like that; and the others could be displayed in a side pane, such as
> "show more languages" or something like that.

Something like that make sense to me. Most people won't use most of the languages anyway. But showing maybe 5 languages by default (or none), and on that same menu, have an option like "set visible languages", which opens a prefs page that has checkboxes for each language (and that prefs page would be scrollable).


-- 
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/2087#issuecomment-464451901
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190217/e1217afd/attachment.html>