@Override
    public void setFontSize(float fontSize) {
      int fs = (int)fontSize;
      for (Editor editor : EditorFactory.getInstance().getAllEditors()) {
        if (editor instanceof EditorEx) {
          ((EditorEx)editor).setFontSize(fs);
        }
      }
    }
@Override
    public void setFontSize(float fontSize)