@Override
    protected void setValue(@NotNull IgnorePolicy option) {
      if (getValue() == option) return;
      DiffUsageTriggerCollector.logToggleIgnorePolicy(option, mySettings.getPlace());
      mySettings.setIgnorePolicy(option);
    }
@Override
    protected void setValue(@NotNull IgnorePolicy option)