insight_gui.widgets.pref_page module
- class insight_gui.widgets.pref_page.PrefPage(*args: Any, **kwargs: Any)
Bases:
PreferencesPage- add(*args, **kwargs)
- add_group(*, title: str = '', description: str = '', empty_group_text: str = 'group is empty', filterable: bool = True, **kwargs) PrefGroup
- apply_filters(search_str: str, search_tags: set[str] = None)
Filters groups and rows based on a search query.
- clear()
- property is_empty: bool
- property num_groups: int
- reset_filtering()
Resets all groups and rows to their original visibility.
- set_empty_page_text(text: str)
- sort_groups(reverse=False)
Sorts the groups by a given key.