@Override
      public void fontChanged() {
        AppConsoleFontConfigurable consoleConfigurable =
          (AppConsoleFontConfigurable)findConfigurable(myPanel, AppConsoleFontConfigurable.class);
        if (consoleConfigurable != null) {
          consoleConfigurable.updateOnEditorFontChange(myPanel.getFontPreferences());
        }
      }
@Override
      public void fontChanged()