java gwt richtextarea更改font-family

Question

java gwt的对象richtextarea默认情况下font-family'times new roman'是否有可能将家庭改为'Arial'？

Answer 1

你有几个选择.您可以创建一个CSS类并将其设置在RichTextArea内部文档的body元素上,也可以直接在其上设置style属性.如果您希望此更改在整个应用程序中保持一致,我建议您创建一个新类并向其中添加InitializeHandler.

public class MyRichTextArea extends RichTextArea {

    public MyRichTextArea() {

        addInitializeHandler(new InitializeHandler() {

            @Override
            public void onInitialize(InitializeEvent ie) {

                Document document = IFrameElement.as(getElement()).getContentDocument();
                BodyElement body = document.getBody();
                body.setAttribute("style", "font-family: Arial Unicode MS,Arial,sans-serif;");
            });
        }
    }
}