void (boolean show) { boolean old = myOptions.SHOW_INTENTION_PREVIEW; if (old == show) return; myOptions.SHOW_INTENTION_PREVIEW = show; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_SHOW_INTENTION_PREVIEW, old, show); }