@Override
    public void applyDefaults(@NotNull List<? extends Editor> editors) {
      apply(myTextSettings.getHighlightingLevel());
    }
@Override
    public void applyDefaults(@NotNull List<? extends Editor> editors)