QScintilla/MiniEditor.py

changeset 42
23b45a742e17
parent 15
f6ccc31d6e72
child 45
9a18f4dbb493
--- a/QScintilla/MiniEditor.py	Fri Jan 08 19:14:19 2010 +0000
+++ b/QScintilla/MiniEditor.py	Sat Jan 09 19:43:36 2010 +0000
@@ -2078,7 +2078,7 @@
         key = 'Scintilla/%s/style0/font' % self.lexer_.language()
         fdesc = Preferences.Prefs.settings.value(key)
         if fdesc is not None:
-            font = QFont(fdesc[0], int(str(fdesc[1])))
+            font = QFont(fdesc[0], int(fdesc[1]))
             self.lexer_.setDefaultFont(font)
         self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla")
         
@@ -2339,4 +2339,4 @@
         fileEol = self.__textEdit.detectEolString(txt)
         self.__textEdit.setEolModeByEolString(fileEol)
         
-        self.__textEdit.setModified(False)
\ No newline at end of file
+        self.__textEdit.setModified(False)

eric ide

mercurial