@Override
        public void actionPerformed(ActionEvent e) {
          if (myUseEditorFontBox.isSelected()) {
            getEditorFontPreferences().copyTo(getFontPreferences());
          }
          updateOnChangedFont();
        }
@Override
        public void actionPerformed(ActionEvent e)