EditorManager: saveEditor -> saveDocument

Change-Id: I1691b7231080320ff48efbbd7f870658a977ad0d
Reviewed-by: Daniel Teske <daniel.teske@digia.com>

src/plugins/coreplugin/editormanager/editormanager.cpp

@@ -2290,9 +2290,9 @@ IEditor *EditorManager::openEditorWithContents(Id editorId,
     return edt;
 }
 
-bool EditorManager::saveEditor(IEditor *editor)
+bool EditorManager::saveDocument(IDocument *document)
 {
-    return EditorManagerPrivate::saveDocument(editor->document());
+    return EditorManagerPrivate::saveDocument(document);
 }
 
 bool EditorManager::hasSplitter()

src/plugins/coreplugin/editormanager/editormanager.h

@@ -139,7 +139,7 @@ public:
     static void addCurrentPositionToNavigationHistory(IEditor *editor = 0, const QByteArray &saveState = QByteArray());
     static void cutForwardNavigationHistory();
 
-    static bool saveEditor(IEditor *editor);
+    static bool saveDocument(IDocument *document);
 
     static bool closeEditors(const QList<IEditor *> &editorsToClose, bool askAboutModifiedEditors = true);
     static void closeEditor(IEditor *editor, bool askAboutModifiedEditors = true);

src/plugins/texteditor/basetexteditor.cpp

@@ -899,7 +899,7 @@ void BaseTextEditorWidget::selectEncoding()
         break; }
     case CodecSelector::Save:
         doc->setCodec(codecSelector.selectedCodec());
-        Core::EditorManager::saveEditor(editor());
+        Core::EditorManager::saveDocument(textDocument());
         updateTextCodecLabel();
         break;
     case CodecSelector::Cancel: