Fix for #6958 - GUI Setting non modal window: Search broken when main window hidden (minimized)

2026-09-27 02:41:17 +00:00 · 2021-09-22 15:53:59 +02:00
parent e477903d3e
commit e48c320f6d
3 changed files with 22 additions and 9 deletions
@@ -134,6 +134,8 @@ public:
            return o1.key < o2.key; });
    }
    void sort_options_by_label() { sort_options(); }
+
+    void show_dialog();
 };