Debugger/DebugUI.py

changeset 5108
f5cb9cb98e6a
parent 5100
2c193da9b94f
child 5121
d5d2cbf49daf
equal deleted inserted replaced
5106:1ecc6c9abca5 5108:f5cb9cb98e6a
911 if not self.editorOpen: 911 if not self.editorOpen:
912 self.restartAct.setEnabled(False) 912 self.restartAct.setEnabled(False)
913 self.lastDebuggedFile = None 913 self.lastDebuggedFile = None
914 self.lastStartAction = 0 914 self.lastStartAction = 0
915 self.clientType = "" 915 self.clientType = ""
916
917 def clearHistories(self):
918 """
919 Public method to clear the various debug histories.
920 """
921 self.argvHistory = []
922 self.wdHistory = []
923 self.envHistory = []
924
925 Preferences.Prefs.settings.setValue(
926 'DebugInfo/ArgumentsHistory', self.argvHistory)
927 Preferences.Prefs.settings.setValue(
928 'DebugInfo/WorkingDirectoryHistory', self.wdHistory)
929 Preferences.Prefs.settings.setValue(
930 'DebugInfo/EnvironmentHistory', self.envHistory)
916 931
917 def shutdown(self): 932 def shutdown(self):
918 """ 933 """
919 Public method to perform shutdown actions. 934 Public method to perform shutdown actions.
920 """ 935 """

eric ide

mercurial