void (boolean value) { boolean old = myOptions.USE_EDITOR_FONT_IN_INLAYS; if (old == value) return; myOptions.USE_EDITOR_FONT_IN_INLAYS = value; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_USE_EDITOR_FONT_IN_INLAYS, old, value); }