Don't process disposed editor (the commit is triggered by the reported exception)

This commit is contained in:
Denis.Zhdanov
2011-12-12 13:10:29 +04:00
parent 4fa0d72f6c
commit 4ff3235a2b
2 changed files with 3 additions and 3 deletions
@@ -154,7 +154,7 @@ public final class EditorHistoryManager extends AbstractProjectComponent impleme
@Nullable FileEditorProvider fallbackProvider,
final boolean changeEntryOrderOnly)
{
if (file == null){
if (file == null) {
return;
}
final FileEditorManagerEx editorManager = FileEditorManagerEx.getInstanceEx(myProject);
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2009 JetBrains s.r.o.
* Copyright 2000-2011 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -230,7 +230,7 @@ class TextEditorComponent extends JPanel implements DataProvider{
* @return whether the editor is valid or not
*/
boolean isEditorValid(){
return myValid;
return myValid && !myEditor.isDisposed();
}
/**