def _on_workspace_changed(self, event, old_workspace):
        if self.editing:
            self.exit_editing()
        if (self._name_change_handler_id):
            self.workspace.disconnect(self._name_change_handler_id)
            self.workspace = really_get_active_workspace(self.screen)
        self._name_change_handler_id = self.workspace.connect("name-changed", self._on_workspace_name_changed)
        self.show_workspace_name()