diff -r 70924c0bdaf1 -r 7912530a33e2 ViewManager/ViewManager.py --- 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()