mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fix IDE history when exception thrown (forward)
This commit is contained in:
+10
-7
@@ -355,13 +355,16 @@ public class IdeDocumentHistoryImpl extends IdeDocumentHistory implements Projec
|
||||
if (target == null) return;
|
||||
|
||||
myForwardInProgress = true;
|
||||
executeCommand(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
gotoPlaceInfo(target);
|
||||
}
|
||||
}, "", null);
|
||||
myForwardInProgress = false;
|
||||
try {
|
||||
executeCommand(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
gotoPlaceInfo(target);
|
||||
}
|
||||
}, "", null);
|
||||
} finally {
|
||||
myForwardInProgress = false;
|
||||
}
|
||||
}
|
||||
|
||||
private PlaceInfo getTargetForwardInfo() {
|
||||
|
||||
Reference in New Issue
Block a user