--- a/Project/DebuggerPropertiesDialog.py	Sat Mar 23 16:45:26 2019 +0100
+++ b/Project/DebuggerPropertiesDialog.py	Sun Mar 24 12:57:08 2019 +0100
@@ -178,6 +178,7 @@
         self.project.debugProperties["NOENCODING"] = \
             self.noEncodingCheckBox.isChecked()
         self.project.debugPropertiesLoaded = True
+        self.project.debugPropertiesChanged = True
         
         self.__saveHistories()