def applyButton_clicked_cb(self, widget): """Callback executed when the user clicks on the apply button""" workspacePath = self.getSelectedWorkspace() # We verify the workspace can be loaded. # if it can, we stop the current GTK if workspacePath is None or len(workspacePath) == 0: self.setError(_("No workspace provided.")) else: logging.debug("Create the requested workspace") try: ResourcesConfiguration.createWorkspace(workspacePath) except OSError as e: self.log.warning("Impossible to create a workspace : {0}".format(e)) self.setError("Impossible to create a workspace here.") return (workspace, error) = (Workspace.loadWorkspace(self._selectedWorkspace)) if workspace is not None: # If we managed to load the given workspace, we save it and stop the GTK ResourcesConfiguration.generateUserFile(self._selectedWorkspace) self.loadedWorkspace = workspace self.stop() else: self.setError(error)
def applyButton_clicked_cb(self, widget): """Callback executed when the user clicks on the apply button""" workspacePath = self.getSelectedWorkspace() # We verify the workspace can be loaded. # if it can, we stop the current GTK if workspacePath is None or len(workspacePath) == 0: self.setError(_("No workspace provided.")) else: logging.debug("Create the requested workspace") try: ResourcesConfiguration.createWorkspace(workspacePath) except OSError as e: self.log.warning( "Impossible to create a workspace : {0}".format(e)) self.setError("Impossible to create a workspace here.") return (workspace, error) = (Workspace.loadWorkspace(self._selectedWorkspace)) if workspace is not None: # If we managed to load the given workspace, we save it and stop the GTK ResourcesConfiguration.generateUserFile( self._selectedWorkspace) self.loadedWorkspace = workspace self.stop() else: self.setError(error)
def currentWorkspaceHasChanged(self): """currentWorkspaceHasChanged: Execute the operations which must be done when the current workspace has changed : - Update the view, - Save the new workspace.""" if self.controller.getCurrentWorkspace() is not None: ResourcesConfiguration.generateUserFile(self.controller.getCurrentWorkspace().getPath(), ResourcesConfiguration.extractAPIKeyDefinitionFromLocalFile()) self.currentProjectHasChanged() self.updateSwitchProjectMenu(self.controller.getCurrentWorkspace().getNameOfProjects())
def currentWorkspaceHasChanged(self): """currentWorkspaceHasChanged: Execute the operations which must be done when the current workspace has changed : - Update the view, - Save the new workspace.""" if self.controller.getCurrentWorkspace() is not None: ResourcesConfiguration.generateUserFile( self.controller.getCurrentWorkspace().getPath(), ResourcesConfiguration.extractAPIKeyDefinitionFromLocalFile()) self.currentProjectHasChanged() self.updateSwitchProjectMenu( self.controller.getCurrentWorkspace().getNameOfProjects())