public void optionsChanged() {
    FileStatusManager.getInstance(myProject).fileStatusesChanged();
    EditorNotifications.getInstance(myProject).updateAllNotifications();
  }
public void optionsChanged()