mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
SCR43470
This commit is contained in:
@@ -91,9 +91,9 @@ class FileInfo {
|
||||
}
|
||||
|
||||
public void handle(){
|
||||
final VirtualFile file = getFile();
|
||||
myEditFileProvider.editFiles(new VirtualFile[]{file});
|
||||
final VirtualFile file = getFile();
|
||||
if (getUseVersionControl()){
|
||||
myEditFileProvider.editFiles(new VirtualFile[]{file});
|
||||
ApplicationManager.getApplication().runWriteAction(new Runnable() {
|
||||
public void run() {
|
||||
file.refresh(false, false);
|
||||
|
||||
Reference in New Issue
Block a user