panel.hovered_element = ib.getRealElement(); XRLog.general("Element "+panel.hovered_element+" entered");
    public void mouseEntered( MouseEvent evt ) {        InlineBox ib = findInlineBox(evt);        restyle(ib);    }