java fontsize,Java Style.setFontSize方法代码示例

import com.google.gwt.dom.client.Style; //导入方法依赖的package包/类

public TextBoxDOMElement(final TextBox widget,

final GridLayer gridLayer,

final GridWidget gridWidget) {

super(widget,

gridLayer,

gridWidget);

final Style style = widget.getElement().getStyle();

style.setWidth(100,

Style.Unit.PCT);

style.setHeight(HEIGHT,

Style.Unit.PX);

style.setPaddingLeft(2,

Style.Unit.PX);

style.setPaddingRight(2,

Style.Unit.PX);

style.setFontSize(10,

Style.Unit.PX);

// --- Workaround for BS2 ---

style.setPosition(Style.Position.RELATIVE);

style.setPaddingTop(0,

Style.Unit.PX);

style.setPaddingBottom(0,

Style.Unit.PX);

style.setProperty("WebkitBoxSizing",

"border-box");

style.setProperty("MozBoxSizing",

"border-box");

style.setProperty("boxSizing",

"border-box");

style.setProperty("lineHeight",

"normal");

// --- End workaround ---

getContainer().getElement().getStyle().setPaddingLeft(5,

Style.Unit.PX);

getContainer().getElement().getStyle().setPaddingRight(5,

Style.Unit.PX);

getContainer().setWidget(widget);

}