public void updateEditor(@NotNull EditorEx editor, float fontSize) {
      try {
        myDuringUpdate = true;
        editor.setFontSize(fontSize);
      }
      finally {
        myDuringUpdate = false;
      }
    }
public void updateEditor(@NotNull EditorEx editor, float fontSize)