diff -r 1ecc6c9abca5 -r f5cb9cb98e6a Debugger/DebugUI.py
--- 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.
