100101102103104105106107
return false; } private void selectEditor(Direction dir) { EditorSelectorList selector = new EditorSelectorList(appWin.getEditorService()); selector.display(dir); } }