mirror of
https://github.com/DYefremov/DemonEditor.git
synced 2025-12-21 07:59:40 +01:00
little changes for the filter bar
This commit is contained in:
@@ -1093,14 +1093,12 @@ class MainAppWindow:
|
||||
|
||||
# ***************** Filter and search *********************#
|
||||
|
||||
@run_idle
|
||||
def on_filter_toggled(self, toggle_button: Gtk.ToggleToolButton):
|
||||
active = toggle_button.get_active()
|
||||
if active:
|
||||
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):
|
||||
|
||||
@@ -1224,6 +1224,7 @@ 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">
|
||||
|
||||
Reference in New Issue
Block a user