gfx.setFont(originalFont.deriveFont(java.awt.Font.BOLD));
FontMetrics fm = gfx.getFontMetrics();
int vpad = (box.height - fm.getHeight());
gfx.drawString(rep, 2, fm.getAscent() + vpad);
int repwidth = fm.stringWidth(rep);
gfx.setFont(originalFont);
if ((m_Object instanceof OptionHandler) && !(m_Object instanceof CustomDisplayStringProvider)) {
gfx.drawString(" " + Utils.joinOptions(((OptionHandler)m_Object).getOptions()),
repwidth + 2, fm.getAscent() + vpad);