1 16 package com.google.gwt.user.client.ui.impl; 17 18 import com.google.gwt.user.client.Element; 19 import com.google.gwt.user.client.ui.RichTextArea.FontSize; 20 21 24 public class RichTextAreaImplSafari extends RichTextAreaImplStandard { 25 26 private static final String [] sizeNumberCSSValues = new String [] { 27 "medium", "xx-small", "x-small", "small", "medium", "large", "x-large", 28 "xx-large"}; 29 30 public Element createElement() { 31 Element elem = super.createElement(); 32 33 capabilityTest(elem); 36 return elem; 37 } 38 39 public native boolean isBold() ; 42 43 public native boolean isExtendedEditingSupported() ; 47 48 public native boolean isItalic() ; 51 52 public native boolean isUnderlined() ; 55 56 public native void setFocus(boolean focused) ; 65 66 public void setFontSize(FontSize fontSize) { 67 int number = fontSize.getNumber(); 69 if ((number >= 0) && (number <= 7)) { 70 execCommand("FontSize", sizeNumberCSSValues[number]); 71 return; 72 } 73 } 74 75 protected native String getTextImpl() ; 78 79 protected native void setTextImpl(String text) ; 82 83 native void initEvents() ; 131 132 private native void capabilityTest(Element elem) ; 135 } 136 | Popular Tags |