message: Fix up the command palette in the TerminalAceViewer.
diff: @@ -1079,7 +1079,7 @@ this._log.debug(`Got command ${command}`);
  }
  private _handleContextMenuCapture(ev: MouseEvent): void {
  - // Prevent CodeMirror from seeing this event and messing with the hidden textarea and the focus.
  + // Prevent Ace from seeing this event and messing with the hidden textarea and the focus.
  ev.stopImmediatePropagation();
  ev.preventDefault();
  @@ -1121,8 +1121,7 @@ this._log.debug(`Got command ${command}`);
  }
  private _executeCommand(command): boolean {
  -// FIXME
  - // switch (command) {
  + switch (command) {
  // case COMMAND_TYPE_AND_CR_SELECTION:
  // case COMMAND_TYPE_SELECTION:
  // const text = this._codeMirror.getDoc().getSelection();
  @@ -1142,19 +1141,14 @@ this._log.debug(`Got command ${command}`);
  // }
  // break;
  - // case COMMAND_OPEN_COMMAND_PALETTE:
  - // dispatchCommandPaletteRequest(this);
  - // break;
  + case COMMAND_OPEN_COMMAND_PALETTE:
  + dispatchCommandPaletteRequest(this);
  + break;
  - // default:
  - // if (this._mode === ViewerElementTypes.Mode.CURSOR && CodeMirrorCommands.isCommand(command)) {
  - // CodeMirrorCommands.executeCommand(this._codeMirror, command);
  - // return true;
  - // } else {
  + default:
  return false;
  - // }
  - // }
  - // return true;
  + }
  + return true;
  }
  //-----------------------------------------------------------------------
  