@Override
 public void setEditorFontName(String fontName) {
   int editorFontSize = getEditorFontSize();
   myFontPreferences.clear();
   myFontPreferences.register(fontName, editorFontSize);
   initFonts();
 }
 @Override
 public void setConsoleFontName(String fontName) {
   int consoleFontSize = getConsoleFontSize();
   myConsoleFontPreferences.clear();
   myConsoleFontPreferences.register(fontName, consoleFontSize);
 }