mirror of
https://github.com/aclist/dztui.git
synced 2026-11-06 01:54:49 +01:00
chore: rename MapManager to FilterManager
This commit is contained in:
1 parent
0283baf3a9
commit
5bcb2b279d
5 files changed
+30
-32
No files matched your search
@@ -150,9 +150,9 @@ class FilterPanel(Gtk.Box):
|
||||
# self.set_orientation(Gtk.Orientation.VERTICAL)
|
||||
|
||||
# TODO: initialize to empty
|
||||
map_man = self.controller.get_map_man()
|
||||
defaults = map_man.get_default_filters()
|
||||
self.map_store = map_man.get_map_store()
|
||||
filter_man = self.controller.get_filter_man()
|
||||
defaults = filter_man.get_default_filters()
|
||||
self.map_store = filter_man.get_map_store()
|
||||
self.enabled_filters = defaults
|
||||
|
||||
self.keyword_entry = KeywordEntry(self.controller)
|
||||
|
||||
Reference in new issue
Block a user