!7

p {
  print("Current server: " + tb_mainServer() + "(" +
    (tb_mainServer_isDefault() ? "default" : "NOT default") + ")");
  showControls(jcenteredline(
    jbutton("Default", f tb_mainServer_default),
    jbutton("Local", f tb_mainServer_local)));
}