static JList showCommandList() {
  JList list = jlist(knownCommands());
  addToFrameSplitRight_aggressive(consoleFrame(), list);
  ret list;
}