forked from qt-creator/qt-creator
EditorManager: Make closeEditor public
And use it where appropriate Change-Id: I0f37b8aada6eaa9be6743724b91a59173a01cb0c Reviewed-by: hjk <hjk121@nokiamail.com> Reviewed-by: David Schulz <david.schulz@digia.com>
This commit is contained in:
committed by
Orgad Shaneh
parent
5a02089e3c
commit
0b4300a68c
@@ -76,10 +76,8 @@ SourceAgentPrivate::SourceAgentPrivate()
|
||||
|
||||
SourceAgentPrivate::~SourceAgentPrivate()
|
||||
{
|
||||
if (editor) {
|
||||
EditorManager *editorManager = EditorManager::instance();
|
||||
editorManager->closeEditors(QList<IEditor *>() << editor);
|
||||
}
|
||||
if (editor)
|
||||
EditorManager::instance()->closeEditor(editor);
|
||||
editor = 0;
|
||||
delete locationMark;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user