ledger.setText(Boolean.toString(glyph.hasLedger()));
ledger.setText(Boolean.toString(glyph.isWithLedger()));
    public void update (Selection     selection,                        SelectionHint hint)    {        //        logger.info("SymbolGlyphBoard " + selection.getTag()        //                    + " selfUpdating=" + selfUpdating);        super.update(selection, hint);        switch (selection.getTag()) {        case VERTICAL_GLYPH :            selfUpdating = true;            Glyph glyph = (Glyph) selection.getEntity();            // Set symbolSpinner accordingly            if (symbolSpinner != null) {                symbolSpinner.setValue(                    symbolPredicate.check(glyph) ? glyph.getId() : NO_VALUE);            }            // Fill symbol characteristics            if (glyph != null) {                pitchPosition.setValue(glyph.getPitchPosition());                ledger.setText(Boolean.toString(glyph.hasLedger()));                stems.setValue(glyph.getStemNumber());                Moments moments = glyph.getMoments();                weight.setValue(moments.getWeight());                width.setValue(moments.getWidth());                height.setValue(moments.getHeight());            } else {                ledger.setText("");                pitchPosition.setText("");                stems.setText("");                weight.setText("");                width.setText("");                height.setText("");            }            selfUpdating = false;            break;        default :        }    }