--- a/python/codeeditor.py	Mon Dec 24 16:35:22 2012 +0100
+++ b/python/codeeditor.py	Mon Dec 24 17:55:08 2012 +0100
@@ -68,22 +68,25 @@
       self.filename = filename
       self.isUntitled = False
       self.setWindowTitle(filename)
+
    def setSource(self, source):
       self.setPlainText(source)
+   def getSource(self):
+      return self.toPlainText()
+   source = property(getSource, setSource)
 
    def save(self):
-      pass
+      self.saveFile()
    def saveAs(self):
-      pass
+      print('save as')
 
    def saveFile(self):
       if self.isUntitled:
          self.saveAs()
       else:
          source = str(self.toPlainText())
-         f = open(self.filename, 'w')
-         f.write(source)
-         f.close()
+         with open(self.filename, 'w') as f:
+            f.write(source)
 
    def highlightErrorLocation(self, row, col):
       tc = QTextCursor(self.document())