Searched refs:parent_window_manager (Results 1 – 1 of 1) sorted by relevance
81 def __init__(self, parent_window_manager, *args, **kwargs): argument83 self.parent_window_manager = parent_window_manager97 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): argument135 self.parent_window_manager = parent_window_manager149 if self.parent_window_manager.resize_mode:159 self.parent_window_manager.mouse_handler,163 self.parent_window_manager.update_window_manager_size(