MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-65927 Switcher: on closing all editor windows in switcher arrow keys do not move the selection

Browse Source
This commit is contained in:
Konstantin Bulenkov
2011-02-28 17:00:56 +03:00
parent b3c4b94215
commit c9eb572888
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/actions/Switcher.java
+9
View File
@@ -463,6 +463,15 @@ public class Switcher extends AnAction implements DumbAware {
((DefaultListModel)jList.getModel()).removeElementAt(selectedIndex);
this.remove(jList);
this.remove(separator);
final Dimension size = toolWindows.getSize();
myPopup.setSize(new Dimension(size.width, myPopup.getSize().height));
final IdeFocusManager focusManager = IdeFocusManager.getInstance(project);
focusManager.doWhenFocusSettlesDown(new Runnable() {
@Override
public void run() {
focusManager.requestFocus(SwitcherPanel.this, true);
}
});
} else {
goForward();
((DefaultListModel)jList.getModel()).removeElementAt(selectedIndex);