Added EditorView::editorArea()

Returns the area of the editor as QRect in global coordinates.

src/plugins/coreplugin/editormanager/editorview.cpp

@@ -346,6 +346,12 @@ void EditorView::updateEditorHistory(IEditor *editor)
     m_editorHistory.prepend(location);
 }
 
+QRect EditorView::editorArea() const
+{
+    const QRect cRect = m_container->rect();
+    return QRect(m_container->mapToGlobal(cRect.topLeft()), cRect.size());
+}
+
 void EditorView::addCurrentPositionToNavigationHistory(IEditor *editor, const QByteArray &saveState)
 {
     if (editor && editor != currentEditor()) {

src/plugins/coreplugin/editormanager/editorview.h

@@ -141,6 +141,7 @@ public:
 
     void copyNavigationHistoryFrom(EditorView* other);
     void updateEditorHistory(IEditor *editor);
+    QRect editorArea() const;
 };
 
 class SplitterOrView  : public QWidget