!7

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