logger.info("current glyphs *after*: " + pane.getCurrentGlyphs().size());
        public void setFocusRectangle (Rectangle rect)    {        ///logger.info(getClass() + " setFocusRectangle " + rect);        // Notify observers about rectangle information        super.setFocusRectangle(rect);        // Retrieve glyphs for this rectangle        pane.setCurrentGlyphs(sheet.lookupGlyphs(rect));    }