static JList showCommandList() {
  ret swing(func -> JList {
    final JList list = jlist(knownCommands());
    addToWindowSplitRight_aggressive(consoleFrame(),
      withTitle("Commands", list), 0.7f);
    onDoubleClick(list, r { consoleSetInputAndFocus(getSelectedItem(list)) });
    ret list;
  });
}