def next_layout(self): if self.screen is None: return self.__current_layout = (self.__current_layout+1)%len(self.__layouts) self.update() update_workspace_info()
def set_workspace(self, workspace): if workspace.screen is not None: return if self.active_workspace is not None: self.active_workspace.set_passive() self.active_workspace = workspace self.active_workspace.set_active(self) update_workspace_info()