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

fixed exception

Browse Source
This commit is contained in:
Ekaterina Tuzova
2014-10-17 17:30:16 +04:00
parent 4c5a7c6c87
commit 269d489e0f
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ipnb/src/org/jetbrains/plugins/ipnb/editor/IpnbFileEditor.java
+4 -1
View File
@@ -35,6 +35,7 @@ import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.beans.PropertyChangeListener;
import java.io.File;
import java.util.List;
/**
@@ -65,6 +66,7 @@ public class IpnbFileEditor extends UserDataHolderBase implements FileEditor, Te
project.getMessageBus().connect(this).subscribe(AppTopics.FILE_DOCUMENT_SYNC, new FileDocumentManagerAdapter() {
@Override
public void beforeAllDocumentsSaving() {
if (!new File(vFile.getPath()).exists()) return;
final IpnbFilePanel filePanel = myIpnbFilePanel;
if (filePanel != null) {
IpnbParser.saveIpnbFile(filePanel);
@@ -77,8 +79,9 @@ public class IpnbFileEditor extends UserDataHolderBase implements FileEditor, Te
project.getMessageBus().connect(this).subscribe(FileEditorManagerListener.Before.FILE_EDITOR_MANAGER, new FileEditorManagerListener.Before.Adapter() {
@Override
public void beforeFileClosed(@NotNull FileEditorManager source, @NotNull VirtualFile file) {
if (!new File(file.getPath()).exists()) return;
IpnbParser.saveIpnbFile(myIpnbFilePanel);
file.refresh(false, false);
file.refresh(false, false);
}
});
myFile = vFile;