Home
last modified time | relevance | path

Searched refs:parent_window_manager (Results 1 – 1 of 1) sorted by relevance

/external/pigweed/pw_console/py/pw_console/
Dwindow_manager.py81 def __init__(self, parent_window_manager, *args, **kwargs): argument
83 self.parent_window_manager = parent_window_manager
97 if self.parent_window_manager.resize_mode:
107 self.parent_window_manager.mouse_handler,
111 self.parent_window_manager.update_window_manager_size(
133 def __init__(self, parent_window_manager, *args, **kwargs): argument
135 self.parent_window_manager = parent_window_manager
149 if self.parent_window_manager.resize_mode:
159 self.parent_window_manager.mouse_handler,
163 self.parent_window_manager.update_window_manager_size(