Completed first version of editor settings

mainwindow.py

@@ -206,6 +206,7 @@ def settingsEditor(self):
         d=EditorSettingsDialog()
         if d.exec_():
             d.save()
+            self.updateEditorsSettings()
 
     def settingsFonts(self):
         """ Edit the font settings for the code window and various panes """
@@ -235,6 +236,12 @@ def setAllFonts(self):
         #self.loadFont('watchesfont',self.stackList)
         self.loadFont('watchesfont',self.outputEdit)
         self.loadFont('sourcesfont',self.workspaceTree)
+
+    def updateEditorsSettings(self):
+        s=QtCore.QSettings()
+        indent=(s.value('indent',2).toInt())[0]
+        for e in self.editors:
+            self.editors.get(e).indentWidth=indent
 
     def findUndefinedReferences(self,output):
         undefined=set()
@@ -492,6 +499,7 @@ def openSourceFile(self,path):
                 lines=f.readlines()
                 if lines:
                     firstLine=lines[0]
+                    s=QtCore.QSettings()
 
                     editor=Qutepart()
                     editor.setPath(path)
@@ -500,6 +508,7 @@ def openSourceFile(self,path):
                     editor.drawIncorrectIndentation = True
                     editor.drawAnyWhitespace = False
                     editor.indentUseTabs = False
+                    editor.indentWidth = (s.value('indent',2).toInt())[0]
                     editor.text="".join(lines)
                     editor.setLineWrapMode(QtGui.QPlainTextEdit.NoWrap)
                     index=self.central.addTab(editor,os.path.basename(path))

settings.py

@@ -1,6 +1,6 @@
 from PyQt4 import QtCore
 from PyQt4 import QtGui
-
+import uis
 
 class FontSettingsDialog(QtGui.QDialog):
     def __init__(self,parent=None):
@@ -58,3 +58,24 @@ def accept(self):
             settings.setValue(name,arr)
         settings.sync()
         super(FontSettingsDialog,self).accept()
+
+
+class EditorSettingsDialog(QtGui.QDialog):
+    def __init__(self,parent=None):
+        super(EditorSettingsDialog,self).__init__(parent)
+        uis.loadDialog('editor_settings',self)
+        s=QtCore.QSettings()
+        self.indentSpaces.setValidator(QtGui.QRegExpValidator(QtCore.QRegExp('\d+')))
+        self.indentSpaces.setText(s.value('indent','2').toString())
+
+    def save(self):
+        s=QtCore.QSettings()
+        indent=2
+        try:
+            indent=int(self.indentSpaces.text())
+        except ValueError:
+            pass
+        s.setValue('indent',indent)
+        s.sync()
+
+

utils.py

@@ -49,6 +49,8 @@ def appendColorLine(output,line,color):
 
 
 def appendLine(output,line):
+    if line.find('Nothing to be done for')>0:
+        return
     if line!='':
         parts=line.split(' ')
         color='#000000'