java gwt richtextarea thay đổi font-family

Question

Đối tượng richtextarea của java gwt có mặc định là font-family 'times new roman' là nó bằng cách nào đó có thể thay đổi gia đình thành 'Arial'?

Answer 1

Bạn có một số tùy chọn. Bạn có thể tạo một lớp CSS và thiết lập nó trên phần tử cơ thể của tài liệu bên trong RichTextArea, hoặc bạn có thể thiết lập thuộc tính style trên nó trực tiếp. Nếu bạn muốn thay đổi này nhất quán trong suốt ứng dụng của mình, tôi khuyên bạn nên tạo một lớp mới và thêm InitializeHandler vào nó.

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;"); 
      }); 
     } 
    } 
} 

Answer 2

Tốt hơn nên sử dụng chức năng được cung cấp. Nếu bạn muốn thay đổi nó lúc sáng tạo, bạn sẽ cần initializeHandler như đã đề cập trong câu trả lời 1:

RichTextArea rta = new RichTextArea(); 
rta.addInitializeHandler(new InitializeHandler() { 
    public void onInitialize(InitializeEvent event) { 
      rta.getFormatter().setFontName("\"Trebuchet MS\",Trebuchet,Arial"); 
      rta.getFormatter().setFontSize(FontSize.SMALL); 
      rta.getFormatter().setForeColor("#FF0000"); 
     } 
    }); 

PS: bạn cần phải làm điều này trước khi bạn thêm bất kỳ nội dung vào textarea, hoặc nó sẽ chỉ có áp dụng cho đầu vào mới.

Answer 3

tôi đã tìm thấy giải pháp phổ biến hơn:

addInitializeHandler(new InitializeHandler() { 
     public void onInitialize(InitializeEvent ie) { 
      Document document = IFrameElement.as(getElement()).getContentDocument(); 
      BodyElement body = document.getBody(); 
      HeadElement head = HeadElement.as(Element.as(body.getPreviousSibling())); 
      LinkElement styleLink = document.createLinkElement(); 
      styleLink.setType("text/css"); 
      styleLink.setRel("stylesheet"); 
      styleLink.setHref("richtextarea.css"); 
      head.appendChild(styleLink); 
     } 
    }); 

Sau khi thêm handler khởi, thật dễ dàng để thay đổi phong cách trong richtextarea.css tập tin