"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, view it on GitHub, or mute the thread.