--- a/ViewManager/ViewManager.py	Sun Oct 13 17:44:48 2013 +0200
+++ b/ViewManager/ViewManager.py	Mon Oct 14 18:26:25 2013 +0200
@@ -6227,8 +6227,7 @@
         
     def __editorConfigChanged(self):
         """
-        Private slot to handle changes of an editor's configuration (e.g.
-        language).
+        Private slot to handle changes of an editor's configuration.
         """
         editor = self.sender()
         fn = editor.getFileName()