--- a/Debugger/DebugUI.py Tue Aug 23 19:02:43 2016 +0200 +++ b/Debugger/DebugUI.py Wed Aug 24 20:00:29 2016 +0200 @@ -914,6 +914,21 @@ self.lastStartAction = 0 self.clientType = "" + def clearHistories(self): + """ + Public method to clear the various debug histories. + """ + self.argvHistory = [] + self.wdHistory = [] + self.envHistory = [] + + Preferences.Prefs.settings.setValue( + 'DebugInfo/ArgumentsHistory', self.argvHistory) + Preferences.Prefs.settings.setValue( + 'DebugInfo/WorkingDirectoryHistory', self.wdHistory) + Preferences.Prefs.settings.setValue( + 'DebugInfo/EnvironmentHistory', self.envHistory) + def shutdown(self): """ Public method to perform shutdown actions.