mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-36509
This commit is contained in:
@@ -1137,8 +1137,15 @@ public final class GuiEditor extends JPanel implements DataProvider {
|
||||
}
|
||||
|
||||
public void run() {
|
||||
if (myModule.isDisposed()) {
|
||||
return;
|
||||
}
|
||||
Project project = myModule.getProject();
|
||||
if (project.isDisposed()) {
|
||||
return;
|
||||
}
|
||||
LOG.debug("Synchronizing GUI editor " + myFile.getName() + " to document");
|
||||
PsiDocumentManager.getInstance(myModule.getProject()).commitDocument(myDocument);
|
||||
PsiDocumentManager.getInstance(project).commitDocument(myDocument);
|
||||
readFromFile(myKeepSelection);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user