!7

static DynamicHStack buttons;

p-noconsole-autoupdate {
  buttons = showNiceButtons();
  refresh();
  addButtonsToWindow(buttons, "Refresh", f-thread refresh);
}

svoid refresh {
  replaceNiceButtons(buttons, latestProgramsForNiceButtons());
}