--- a/UI/UserInterface.py Sun Apr 28 10:47:17 2013 +0200
+++ b/UI/UserInterface.py Sun Apr 28 11:06:40 2013 +0200
@@ -4677,7 +4677,6 @@
Preferences.getEditor("SpellCheckingDefaultLanguage"))
self.preferencesChanged.emit()
-
def __masterPasswordChanged(self, oldPassword, newPassword):
"""