GWT - RichTextArea - 如何设置其内部字体家族

Question

我只是想知道如何更改RichTextArea内部字体家族或字体大小为例？ 我试图修改它的CSS的东西作为

border: 1px solid black; 
    background-color: white; 
    font-family: verdana; 

...但它不工作:(字体仍像Times New Roman字体什么的这样：S

那么，有没有一种方法手工设置其字体属性

感谢

Answer 1

创建一个Formatter，记录在这里：http://google-web-toolkit.googlecode.com/svn/javadoc/2.4/com/google/gwt/user/client/ui/RichTextArea.Formatter.html#setFontName(java.lang.String）。

它提取所有样式的东西，所以你不必手动编写CSS。