From 94110bc18a6a082567bb8a6f56c53afff1d04203 Mon Sep 17 00:00:00 2001
From: Alexander Moisseev <moiseev@mezonplus.ru>
Date: Sun, 22 Jun 2025 09:15:24 +0300
Subject: [PATCH] [WebUI] Sort symbol groups in filter dropdown
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Sort symbol groups in the Symbols table dropdown filter in a
case-insensitive manner, ensuring alphabetical A–Z ordering
regardless of capitalization.
---
 interface/js/app/symbols.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/interface/js/app/symbols.js b/interface/js/app/symbols.js
index 3ff5d5a4b8..21711a1e51 100644
--- 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;
                         },
-- 
2.47.3