diff python/codeeditor.py @ 162:d8c735dc31f9

Used new editor in ide
author Windel Bouwman
date Sun, 10 Mar 2013 11:36:55 +0100
parents 81e08e2e7777
children
line wrap: on
line diff
--- a/python/codeeditor.py	Sat Mar 09 15:52:55 2013 +0100
+++ b/python/codeeditor.py	Sun Mar 10 11:36:55 2013 +0100
@@ -77,7 +77,7 @@
       self.setPlainText(source)
    def getSource(self):
       return self.toPlainText()
-   source = property(getSource, setSource)
+   Source = property(getSource, setSource)
 
    def save(self):
       self.saveFile()