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

Fix potential NPE.

Browse Source
This commit is contained in:
Dmitry Trofimov
2013-11-10 22:03:28 +01:00
parent d21cf01a7a
commit fdd3e7031c
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/vfs/TerminalSessionEditor.java
+2 -1
View File
@@ -120,7 +120,8 @@ public class TerminalSessionEditor extends UserDataHolderBase implements FileEdi
@Override
public void dispose() {
if (!myFile.getUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN)) {
Boolean closingToReopen = myFile.getUserData(FileEditorManagerImpl.CLOSING_TO_REOPEN);
if (closingToReopen == null || !closingToReopen) {
myFile.getTerminal().close();
}
}