本文整理匯總了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);
}
}