static JList showCommandList() {
  ret swingUnlessHeadless(func -> JList {
    final JList list = jlist(knownCommands());
    addToFrameSplitRight_aggressive(consoleFrame(),
      withTitle("Commands", list), 0.7f);
    onDoubleClick(list, r {
      S s = getSelectedItem(list);
      if (!javaTok(s).contains("*") /* && eq(s, consoleInput())*/)
        consoleSend(s);
      else
        consoleSetInputAndFocus(s);
    });
    ret list;
  });
}