public void setUseEditorFontInInlays(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);
  }
public void setUseEditorFontInInlays(boolean value)