final WorkspaceShell shell = WorkspaceShell.create(workspaceShellView, header);
// Add a HotKey listener for to auto-focus the AwesomeBox.
/* The GlobalHotKey stuff utilizes the wave signal event stuff which filters alt+enter as an unimportant
* event. This prevents us from using the GlobalHotKey manager here. Note: This is capturing since the
* editor likes to nom-nom keys, in the dart re-write lets think about this sort of stuff ahead of time. */
final EventRemover eventRemover = Elements.getBody().addEventListener(Event.KEYDOWN, new EventListener() {
@Override
public void handleEvent(Event evt) {
KeyboardEvent event = (KeyboardEvent)evt;
if (event.isAltKey() && event.getKeyCode() == KeyCode.ENTER) {
appContext.getAwesomeBoxComponentHostModel().revertToDefaultComponent();
header.getAwesomeBoxComponentHost().show();
}
}
}, true);
// Track this for removal in cleanup
keyListenerRemoverManager.track(new Remover() {
@Override
public void remove() {
eventRemover.remove();
}
});
codePanelBundle = new StandaloneCodeBundle(appContext, shell, fileTreeController, fileTreeModel, searchIndex,
documentManager, participantModel, docOpRecipient, workspacePlace){