!7

module AutoReloadButtons > DynPrintLogAndEnabled {
  start {
    dm_requireSnippetUpdatesModule();
    dm_vmBus_onMessage('snippetUpdate, voidfunc(fL l) enter {
      switch to q();
      S uri = getString(l, 1);
      new Matches m;
      if (swic(uri, "/transpileOK/", m)) {
        S snippetID = fsI(firstIntAsString(m.rest()));
        for (O mod : dm_modulesWithSnippetID(snippetID)) {
          if (dm_addReloadButtonToModuleTitlePane(mod))
            print("Added reload button to module " + snippetID);
        }
      }
    });
  }
}