void createStyledText() {
text =
new org.eclipse.swt.custom.StyledText(
shell, SWT.BORDER | SWT.MULTI | SWT.V_SCROLL | SWT.H_SCROLL);
org.eclipse.swt.layout.GridData spec = new org.eclipse.swt.layout.GridData();
spec.horizontalAlignment = GridData.FILL;
spec.grabExcessHorizontalSpace = true;
spec.verticalAlignment = GridData.FILL;
spec.grabExcessVerticalSpace = true;
text.setLayoutData(spec);
text.addLineStyleListener(lineStyler);
text.setEditable(false);
org.eclipse.swt.graphics.Color bg = Display.getDefault().getSystemColor(SWT.COLOR_GRAY);
text.setBackground(bg);
}
public static void main(String[] args) {
Display display = Display.getDefault();
Shell shell = new Shell(display);
@SuppressWarnings("unused")
MainWindow inst = new MainWindow(shell, SWT.NULL);
shell.setLayout(new FillLayout());
shell.setImage(SWTResourceManager.getImage("images/16x16.png"));
shell.setText("Change This Title");
shell.setBackgroundImage(SWTResourceManager.getImage("images/ToolbarBackground.gif"));
shell.layout();
shell.open();
while (!shell.isDisposed()) {
if (!display.readAndDispatch()) display.sleep();
}
}
void initializeColors() {
Display display = Display.getDefault();
colors =
new Color[] {
new Color(display, new RGB(0, 0, 0)), // black
new Color(display, new RGB(255, 0, 0)), // red
new Color(display, new RGB(0, 255, 0)), // green
new Color(display, new RGB(0, 0, 255)) // blue
};
tokenColors = new int[MAXIMUM_TOKEN];
tokenColors[WORD] = 0;
tokenColors[WHITE] = 0;
tokenColors[KEY] = 3;
tokenColors[COMMENT] = 1;
tokenColors[STRING] = 2;
tokenColors[OTHER] = 0;
tokenColors[NUMBER] = 0;
}