mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
refresh the files being opened in editors
This commit is contained in:
+1
@@ -788,6 +788,7 @@ public class FileEditorManagerImpl extends FileEditorManagerEx implements Projec
|
||||
final Boolean pin,
|
||||
final int index) {
|
||||
assert ApplicationManager.getApplication().isDispatchThread() || !ApplicationManager.getApplication().isReadAccessAllowed() : "must not open files under read action since we are doing a lot of invokeAndWaits here";
|
||||
file.refresh(true, false);
|
||||
|
||||
final Ref<EditorWithProviderComposite> compositeRef = new Ref<EditorWithProviderComposite>();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user