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()
