void (BidiTextDirection direction) { BidiTextDirection old = myOptions.BIDI_TEXT_DIRECTION; if (old == direction) return; myOptions.BIDI_TEXT_DIRECTION = direction; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_BIDI_TEXT_DIRECTION, old, direction); }