mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
on esc selection moves to original position in filtering tree in Settings dialog
This commit is contained in:
+1
-1
@@ -163,7 +163,7 @@ public class FilteringTreeBuilder extends AbstractTreeBuilder {
|
||||
public void run() {
|
||||
revalidateTree();
|
||||
|
||||
Object toSelect = preferredSelection != null ? preferredSelection : myLastSuccessfulSelect;
|
||||
Object toSelect = myLastSuccessfulSelect != null ? myLastSuccessfulSelect : preferredSelection;
|
||||
|
||||
if (adjustSelection && toSelect != null) {
|
||||
final FilteringTreeStructure.FilteringNode nodeToSelect = getFilteredStructure().getVisibleNodeFor(toSelect);
|
||||
|
||||
Reference in New Issue
Block a user