MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

already disposed

Browse Source
This commit is contained in:
Alexey Kudravtsev
2013-02-28 15:01:36 +04:00
parent a553950319
commit c6e4e760a7
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/text/TextEditorComponent.java
+4 -2
View File
@@ -244,8 +244,10 @@ class TextEditorComponent extends JBLoadingPanel implements DataProvider{
* changes its file type.
*/
private void updateHighlighters(){
final EditorHighlighter highlighter = EditorHighlighterFactory.getInstance().createEditorHighlighter(myProject, myFile);
((EditorEx)myEditor).setHighlighter(highlighter);
if (!myProject.isDisposed()) {
final EditorHighlighter highlighter = EditorHighlighterFactory.getInstance().createEditorHighlighter(myProject, myFile);
((EditorEx)myEditor).setHighlighter(highlighter);
}
}
/**