sclass dm_ReloadButton extends JLabel {

  O moduleID;

  *(fO *moduleID) {

    initImageLabel(this, #1101440);

    setToolTip(this, "Module can be reloaded");

    onClick(this, r {

      removeFromParent(dm_ReloadButton.this);

      dm_reloadModuleInBackground(moduleID);

    });

  }

}

// tested with JTattoo and Windows L&F

sbool dm_addReloadButtonToModuleTitlePane(fO moduleID) {

  ret swing(func -> bool {

    final JComponent c = internalFrameTitleComponent((JInternalFrame) dm_frame(moduleID));

    if (c == null) false;

    if (containsChildWithShortName(c, 'dm_ReloadButton)) false;

    final dm_ReloadButton btn = swingNu(dm_ReloadButton, moduleID);

    addBottomMargin(btn, 2);

    final int nChildren = countChildren(c);

    final int w = preferredWidth(btn), h = preferredHeight(btn), gap = 5;

    addComponent(c, btn);

    final Runnable relayout = r {

      setBounds(btn,

        max(30, minXOfFirstNChildren_rightOf(c, nChildren, 20)-w-gap),

        (c.getHeight()-h)/2, w, h)

    };

    final ComponentListener resizeListener = resizeListener(relayout);

    bindToComponent(btn,

      r { c.addComponentListener(resizeListener); callF(relayout) },

      r { c.removeComponentListener(resizeListener) });

    vmBus_send('addedReloadButtonToModule, moduleID);

    true;

  });

}