!7

module AutoReloadButtons > DynPrintLogAndEnabled {
  start {
    dm_vmBus_onMessage('snippetUpdate, voidfunc(L l) {
      S uri = getString(l, 1);
      new Matches m;
      if (swic(uri, "/transpileOK/", m)) {
        S snippetID = fsI(firstIntAsString(m.rest()));
        print("Reloadable: " + snippetID);
        for (O mod : dm_modulesWithSnippetID(snippetID))
          dm_addReloadButtonToModuleTitlePane(mod);
      }
    });
  }
}