diff -r 7ba8d3d61fdd -r 7826884089fd Debugger/StartDialog.py
--- a/Debugger/StartDialog.py Sun Dec 11 18:28:42 2016 +0100
+++ b/Debugger/StartDialog.py Sun Dec 11 18:43:05 2016 +0100
@@ -118,6 +118,7 @@
self.ui.eraseCheckBox.setChecked(True)
self.__clearHistoryLists = False
+ self.__historiesModified = False
msh = self.minimumSizeHint()
self.resize(max(self.width(), msh.width()), msh.height())
@@ -138,6 +139,7 @@
(boolean), clear histories flag (boolean) and run in console
flag (boolean)
"""
+ # TODO: add the complete histories
cmdLine = self.ui.cmdlineCombo.currentText()
workdir = self.ui.workdirPicker.currentText()
environment = self.ui.environmentCombo.currentText()
@@ -262,6 +264,8 @@
combo = self.ui.environmentCombo
combo.clear()
combo.addItems(history)
+
+ self.__historiesModified = True
def on_buttonBox_clicked(self, button):
"""
