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

Nick Treleaven notifications at xxxxx
Fri May 31 13:01:54 UTC 2019


>  users could choose their own organization and/or hide languages they do not use

We can already have filetypes listed underneath the group menus, e.g. for custom filetypes that haven't set a group. We could support this for non-custom filetypes too. (Making all filetypes custom might not be possible if Geany uses the filetype enum IDs for special handling). This allows the user to make their common languages available from the first menu level. I don't think it's worth supporting custom filetype groups.

-- 
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-497700260
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190531/d5e77f17/attachment.html>


More information about the Github-comments mailing list