private void fillTipArea() {
if (TipDayEx.fontName == null) {
final FontData[] fontData = Display.getDefault().getSystemFont()
.getFontData();
if (fontData != null && fontData.length > 0) {
TipDayEx.fontName = String.format("\"%s\"", fontData[0].getName());
} else {
TipDayEx.fontName = "Arial,​\"Helvetica Neue\",​Helvetica,​sans-serif";
}
}
String text = String.format(
"<html><body bgcolor=\"#EFEFEF\" text=\"#000000\" style='font-family:%s;font-size=14px\'>%s</body></html>",
TipDayEx.fontName, this.tips.get(TipDayEx.index));
System.err.println(text);
this.tipArea.setText(text);
}
TipDayEx.java 文件源码
java
阅读 29
收藏 0
点赞 0
评论 0
项目:SWET
作者:
评论列表
文章目录