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

elextr notifications at xxxxx
Tue Jun 4 23:08:26 UTC 2019


> "Various" preferences is also a convenient catch-all for obscure preferences nobody will ever use :)

Yes, thats its point, but as I said above, there already is a section of the prefs dialog dealing with default sorting of the symbols list.  Thats where this should go, even if its going to be rarely used.

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


More information about the Github-comments mailing list