mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
cleanup
This commit is contained in:
@@ -84,9 +84,9 @@ public class KeymapManagerImpl extends KeymapManagerEx implements PersistentStat
|
||||
RoamingType.PER_USER);
|
||||
|
||||
Keymap[] keymaps = defaultKeymap.getKeymaps();
|
||||
String systemDefaultKeymap = defaultKeymap.getDefaultKeymapName();
|
||||
for (Keymap keymap : keymaps) {
|
||||
addKeymap(keymap);
|
||||
String systemDefaultKeymap = defaultKeymap.getDefaultKeymapName();
|
||||
if (systemDefaultKeymap.equals(keymap.getName())) {
|
||||
setActiveKeymap(keymap);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user