本文整理汇总了Java中org.eclipse.swt.custom.StyledText.setStyleRange方法的典型用法代码示例。如果您正苦于以下问题:Java StyledText.setStyleRange方法的具体用法?Java StyledText.setStyleRange怎么用?Java StyledText.setStyleRange使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.eclipse.swt.custom.StyledText
的用法示例。
在下文中一共展示了StyledText.setStyleRange方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: createText
import org.eclipse.swt.custom.StyledText; //导入方法依赖的package包/类
private void createText(EclipseEnvironment eclipseEnvironment, StyledText text) {
List<StyleRange> styles = new ArrayList<>();
StringBuilder builder = new StringBuilder();
appendLabeledValue(Messages.UsageReportPreferencePage_Version,
Activator.getDefault().getBundle().getVersion().toString(), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_Components,
eclipseEnvironment.getKeyword(), builder, styles);
builder.append(UIConsts._NL);
appendLabeledValue(Messages.UsageReportPreferencePage_ProductId,
eclipseEnvironment.getApplicationName(), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_ProductVersion,
eclipseEnvironment.getApplicationVersion(), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_OperatingSystem, Platform.getOS(),
builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_OperatingSystemVersion,
eclipseEnvironment.getOSVersion(), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_JvmName, eclipseEnvironment.getJavaVmName(),
builder, styles);
builder.append(UIConsts._NL);
appendLabeledValue(Messages.UsageReportPreferencePage_NumberOfUsageHits,
String.valueOf(eclipseEnvironment.getVisitCount()), builder,
styles);
appendLabeledValue(Messages.UsageReportPreferencePage_FirstUsageHit,
getFormattedDate(eclipseEnvironment.getFirstVisit()), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_LastUsageHit,
getFormattedDate(eclipseEnvironment.getLastVisit()), builder, styles);
appendLabeledValue(Messages.UsageReportPreferencePage_CurrentUsageHit,
getFormattedDate(eclipseEnvironment.getCurrentVisit()), builder,
styles);
builder.append(UIConsts._NL);
appendEvents(builder, styles);
text.setText(builder.toString());
for (StyleRange style : styles) {
text.setStyleRange(style);
}
}