Searched refs:shrink_split (Results 1 – 3 of 3) sorted by relevance
214 window_manager.shrink_split()215 window_manager.shrink_split()231 window_manager.shrink_split()247 window_manager.shrink_split()
284 def shrink_split(_event): function286 self.shrink_split()572 def shrink_split(self): member in WindowManager
629 self.window_manager.shrink_split)),