!7

static MapSO _renameClasses = litmap("GazelleBEA" := "GazelleBEAForUsers");

mainPackage gazelle
mainClassName main

module GazelleBEAForUsers > GazelleBEA {
  transient O eleu;
  switchable int fontSizeFactor = 5;
  
  start {
    eleu = dm_require("#1031417/Eleu3");
    thread {
      dm_require("#1031421/HolePuncher");
    }
  }
  
  void init :: after {
    set !alwaysRedirectToHttps;
  }

  visual dm_visualizeWithEnabled(jtabs(
    "Main" := jCenterIn3x3Grid(openButton()),
    "Log" := makePrintLogPanel()
  ));
  
  // API

  JButton openButton() {
    ret fontSizeTimes(fontSizeFactor, jbutton("Open local Gazelle",
      r { openInPlatformBrowser(myURL()) }));
  }

  S myURL() { ret "http://localhost:" + dm_get httpPort(eleu); }
}

!include early #1031418 // Gazelle BEA