little changes for the filter bar

2026-06-25 00:31:22 +02:00 · 2018-09-12 17:49:28 +03:00
parent 5d01bd5479
commit 696bce8201
2 changed files with 1 additions and 1 deletions
--- a/app/ui/main_app_window.py
+++ b/app/ui/main_app_window.py
@@ -1099,6 +1099,7 @@ class MainAppWindow:
            self.update_filter_sat_positions()

        self._filter_bar.set_search_mode(active)
+        self._filter_bar.set_visible(active)

    @run_idle
    def update_filter_sat_positions(self):
--- a/app/ui/main_window.glade
+++ b/app/ui/main_window.glade
@@ -1224,7 +1224,6 @@ Author: Dmitriy Yefremov
        </child>
        <child>
          <object class="GtkSearchBar" id="filter_bar">
-            <property name="visible">True</property>
            <property name="can_focus">False</property>
            <child>
              <object class="GtkBox" id="filter_box">