@Override
    protected void setValue(@NotNull HighlightPolicy option) {
      if (getValue() == option) return;
      DiffUsageTriggerCollector.logToggleHighlightPolicy(option, mySettings.getPlace());
      mySettings.setHighlightPolicy(option);
    }
@Override
    protected void setValue(@NotNull HighlightPolicy option)