[WebUI] Sort symbol groups in filter dropdown

Sort symbol groups in the Symbols table dropdown filter in a
case-insensitive manner, ensuring alphabetical A–Z ordering
regardless of capitalization.

diff --git a/interface/js/app/symbols.js b/interface/js/app/symbols.js
index 3ff5d5a4b8c81586c62f78e2ade0f5e017adaebc..21711a1e519c9ecb78a39b18c7d2a8a2b79626fd 100644 (file)
--- a/interface/js/app/symbols.js
+++ b/interface/js/app/symbols.js
@@ -135,6 +135,7 @@ define(["jquery", "app/common", "footable"],
                         construct: function (instance) {
                             this._super(instance);
                             [,this.groups] = items;
+                            this.groups.sort((a, b) => a.toLowerCase().localeCompare(b.toLowerCase()));
                             this.def = "Any group";
                             this.$group = null;
                         },