mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
hierarchy view: fix expired condition (IDEA-169530)
This commit is contained in:
@@ -531,7 +531,7 @@ public abstract class HierarchyBrowserBaseEx extends HierarchyBrowserBase implem
|
||||
changeView(currentViewType);
|
||||
final HierarchyTreeBuilder builder = getCurrentBuilder();
|
||||
builder.restoreExpandedAndSelectedInfo(storedInfo.get());
|
||||
}, __->!myAlarm.isDisposed());
|
||||
}, __-> isDisposed());
|
||||
}
|
||||
|
||||
protected String getCurrentScopeType() {
|
||||
|
||||
Reference in New Issue
Block a user