java gwt richtextarea zmień rodzinę czcionek

Question

Obiekt richtextarea java gwt ma domyślnie rodzinę czcionek "times new roman" czy w jakiś sposób można zmienić rodzinę na "Arial"?

Answer 1

Masz kilka opcji. Możesz utworzyć klasę CSS i ustawić ją na elemencie body dokumentu wewnątrz RichTextArea lub możesz bezpośrednio ustawić atrybut stylu. Jeśli chcesz, aby ta zmiana była spójna w całej aplikacji, zalecamy utworzenie nowej klasy i dodanie do niej obiektu 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;"); 
      }); 
     } 
    } 
} 

Answer 2

Lepiej używać dostarczonej funkcjonalności. Jeśli chcesz zmienić go w momencie tworzenia, trzeba będzie się initializeHandler jak wspomniano w odpowiedzi 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: trzeba to zrobić przed dodaniem jakichkolwiek treści do pola tekstowego, czy będzie to tylko zastosowane do nowego wejścia.

Answer 3

Znalazłem bardziej powszechne rozwiązanie:

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

Po dodaniu obsługi inicjalizacji, łatwo zmieniać style w richtextarea.css pliku