[Github-comments] [geany/geany] Make Symbols tab "Sort by Name" case insensitive (#2074)

[Matthew Brush]

>  Thats where this should go, even if its going to be rarely used.

The same could be said about most "various" preferences, thus defeating the purpose of tucking obscure preferences away in the Various tab; to avoid cluttering up the preferences people will use more often. Anyway, I don't really care, just pointing out that this kind of obscure preference is what "Various" prefs (and hidden prefs before it) was designed for, as opposed to "super user" type of preferences only.

-- 
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/2074#issuecomment-498877963
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190604/716e49fa/attachment-0001.html>