examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/controlexample/StyledTextTab.java - platform/eclipse.platform.swt - Git at Google

 /*******************************************************************************
  * Copyright (c) 2000, 2019 IBM Corporation and others.
  *
  * This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License 2.0
  * which accompanies this distribution, and is available at
  * https://www.eclipse.org/legal/epl-2.0/
  *
  * SPDX-License-Identifier: EPL-2.0
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *******************************************************************************/
 package org.eclipse.swt.examples.controlexample;


 import static org.eclipse.swt.events.SelectionListener.widgetSelectedAdapter;

 import java.io.IOException;
 import java.io.InputStream;

 import org.eclipse.swt.SWT;
 import org.eclipse.swt.custom.MovementEvent;
 import org.eclipse.swt.custom.MovementListener;
 import org.eclipse.swt.custom.StyleRange;
 import org.eclipse.swt.custom.StyledText;
 import org.eclipse.swt.custom.TextChangeListener;
 import org.eclipse.swt.custom.TextChangedEvent;
 import org.eclipse.swt.custom.TextChangingEvent;
 import org.eclipse.swt.events.ControlListener;
 import org.eclipse.swt.events.SelectionListener;
 import org.eclipse.swt.graphics.Color;
 import org.eclipse.swt.graphics.Image;
 import org.eclipse.swt.graphics.ImageData;
 import org.eclipse.swt.graphics.Point;
 import org.eclipse.swt.layout.GridData;
 import org.eclipse.swt.layout.GridLayout;
 import org.eclipse.swt.widgets.Button;
 import org.eclipse.swt.widgets.Composite;
 import org.eclipse.swt.widgets.Display;
 import org.eclipse.swt.widgets.Group;
 import org.eclipse.swt.widgets.Label;
 import org.eclipse.swt.widgets.TabFolder;
 import org.eclipse.swt.widgets.Widget;

 class StyledTextTab extends ScrollableTab {
 	/* Example widgets and groups that contain them */
 	StyledText styledText;
 	Group styledTextGroup, styledTextStyleGroup;

 	/* Style widgets added to the "Style" group */
 	Button wrapButton, readOnlyButton, fullSelectionButton;

 	/* Buttons for adding StyleRanges to StyledText */
 	Button boldButton, italicButton, redButton, yellowButton, underlineButton, strikeoutButton, resetButton;
 	Image boldImage, italicImage, redImage, yellowImage, underlineImage, strikeoutImage;

 	/* Other widgets added to the "Other" group */
 	Button mouseNavigatorButton;

 	/* Variables for saving state. */
 	String text;
 	StyleRange[] styleRanges;

 	/**
 	 * Creates the Tab within a given instance of ControlExample.
 	 */
 	StyledTextTab(ControlExample instance) {
 		super(instance);
 	}

 	/**
 	 * Creates a bitmap image.
 	 */
 	Image createBitmapImage (Display display, String name) {
 		InputStream sourceStream = ControlExample.class.getResourceAsStream (name + ".bmp");
 		InputStream maskStream = ControlExample.class.getResourceAsStream (name + "_mask.bmp");
 		ImageData source = new ImageData (sourceStream);
 		ImageData mask = new ImageData (maskStream);
 		Image result = new Image (display, source, mask);
 		try {
 			sourceStream.close ();
 			maskStream.close ();
 		} catch (IOException e) {
 			e.printStackTrace ();
 		}
 		return result;
 	}

 	/**
 	 * Creates the "Control" widget children.
 	 */
 	@Override
 	void createControlWidgets () {
 		super.createControlWidgets ();

 		/* Add a group for modifying the StyledText widget */
 		createStyledTextStyleGroup ();
 	}

 	/**
 	 * Creates the "Example" group.
 	 */
 	@Override
 	void createExampleGroup () {
 		super.createExampleGroup ();

 		/* Create a group for the styled text widget */
 		styledTextGroup = new Group (exampleGroup, SWT.NONE);
 		styledTextGroup.setLayout (new GridLayout ());
 		styledTextGroup.setLayoutData (new GridData (SWT.FILL, SWT.FILL, true, true));
 		styledTextGroup.setText ("StyledText");
 	}

 	/**
 	 * Creates the "Example" widgets.
 	 */
 	@Override
 	void createExampleWidgets () {

 		/* Compute the widget style */
 		int style = getDefaultStyle();
 		if (singleButton.getSelection ()) style |= SWT.SINGLE;
 		if (multiButton.getSelection ()) style |= SWT.MULTI;
 		if (horizontalButton.getSelection ()) style |= SWT.H_SCROLL;
 		if (verticalButton.getSelection ()) style |= SWT.V_SCROLL;
 		if (wrapButton.getSelection ()) style |= SWT.WRAP;
 		if (readOnlyButton.getSelection ()) style |= SWT.READ_ONLY;
 		if (borderButton.getSelection ()) style |= SWT.BORDER;
 		if (fullSelectionButton.getSelection ()) style |= SWT.FULL_SELECTION;

 		/* Create the example widgets */
 		styledText = new StyledText (styledTextGroup, style);
 		styledText.setText (ControlExample.getResourceString("Example_string"));
 		styledText.append ("\n");
 		styledText.append (ControlExample.getResourceString("One_Two_Three"));

 		if (text != null) {
 			styledText.setText(text);
 			text = null;
 		}
 		if (styleRanges != null) {
 			styledText.setStyleRanges(styleRanges);
 			styleRanges = null;
 		}
 	}

 	/**
 	 * Creates the "Style" group.
 	 */
 	@Override
 	void createStyleGroup() {
 		super.createStyleGroup();

 		/* Create the extra widgets */
 		wrapButton = new Button (styleGroup, SWT.CHECK);
 		wrapButton.setText ("SWT.WRAP");
 		readOnlyButton = new Button (styleGroup, SWT.CHECK);
 		readOnlyButton.setText ("SWT.READ_ONLY");
 		fullSelectionButton = new Button (styleGroup, SWT.CHECK);
 		fullSelectionButton.setText ("SWT.FULL_SELECTION");
 	}

 	/**
 	 * Creates the "StyledText Style" group.
 	 */
 	void createStyledTextStyleGroup () {
 		styledTextStyleGroup = new Group (controlGroup, SWT.NONE);
 		styledTextStyleGroup.setText (ControlExample.getResourceString ("StyledText_Styles"));
 		styledTextStyleGroup.setLayout (new GridLayout(6, false));
 		GridData data = new GridData (GridData.HORIZONTAL_ALIGN_FILL);
 		data.horizontalSpan = 2;
 		styledTextStyleGroup.setLayoutData (data);

 		/* Get images */
 		boldImage = createBitmapImage (display, "bold");
 		italicImage = createBitmapImage (display, "italic");
 		redImage = createBitmapImage (display, "red");
 		yellowImage = createBitmapImage (display, "yellow");
 		underlineImage = createBitmapImage (display, "underline");
 		strikeoutImage = createBitmapImage (display, "strikeout");

 		/* Create controls to modify the StyledText */
 		Label label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("StyledText_Style_Instructions"));
 		label.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 4, 1));
 		resetButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		resetButton.setText(ControlExample.getResourceString ("Clear"));
 		resetButton.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false, 2, 1));
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Bold"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		boldButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		boldButton.setImage (boldImage);
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Underline"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		underlineButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		underlineButton.setImage (underlineImage);
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Foreground_Style"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		redButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		redButton.setImage (redImage);
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Italic"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		italicButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		italicButton.setImage (italicImage);
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Strikeout"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		strikeoutButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		strikeoutButton.setImage (strikeoutImage);
 		label = new Label (styledTextStyleGroup, SWT.NONE);
 		label.setText (ControlExample.getResourceString ("Background_Style"));
 		label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
 		yellowButton = new Button (styledTextStyleGroup, SWT.PUSH);
 		yellowButton.setImage (yellowImage);
 		SelectionListener styleListener = widgetSelectedAdapter(e -> {
 			Point sel = styledText.getSelectionRange();
 			if ((sel == null) || (sel.y == 0)) return;
 			StyleRange style;
 			for (int i = sel.x; i<sel.x+sel.y; i++) {
 				StyleRange range = styledText.getStyleRangeAtOffset(i);
 				if (range != null && e.widget != resetButton) {
 					style = (StyleRange)range.clone();
 					style.start = i;
 					style.length = 1;
 				} else {
 					style = new StyleRange(i, 1, null, null, SWT.NORMAL);
 				}
 				if (e.widget == boldButton) {
 					style.fontStyle ^= SWT.BOLD;
 				} else if (e.widget == italicButton) {
 					style.fontStyle ^= SWT.ITALIC;
 				} else if (e.widget == underlineButton) {
 					style.underline = !style.underline;
 				} else if (e.widget == strikeoutButton) {
 					style.strikeout = !style.strikeout;
 				}
 				styledText.setStyleRange(style);
 			}
 			styledText.setSelectionRange(sel.x + sel.y, 0);
 		});
 		SelectionListener colorListener = widgetSelectedAdapter(e -> {
 			Point sel = styledText.getSelectionRange();
 			if ((sel == null) || (sel.y == 0)) return;
 			Color fg = null, bg = null;
 			if (e.widget == redButton) {
 				fg = display.getSystemColor (SWT.COLOR_RED);
 			} else if (e.widget == yellowButton) {
 				bg = display.getSystemColor (SWT.COLOR_YELLOW);
 			}
 			StyleRange style;
 			for (int i = sel.x; i<sel.x+sel.y; i++) {
 				StyleRange range = styledText.getStyleRangeAtOffset(i);
 				if (range != null) {
 					style = (StyleRange)range.clone();
 					style.start = i;
 					style.length = 1;
 					if (fg != null) style.foreground = style.foreground != null ? null : fg;
 					if (bg != null) style.background = style.background != null ? null : bg;
 				} else {
 					style = new StyleRange (i, 1, fg, bg, SWT.NORMAL);
 				}
 				styledText.setStyleRange(style);
 			}
 			styledText.setSelectionRange(sel.x + sel.y, 0);
 		});
 		resetButton.addSelectionListener(styleListener);
 		boldButton.addSelectionListener(styleListener);
 		italicButton.addSelectionListener(styleListener);
 		underlineButton.addSelectionListener(styleListener);
 		strikeoutButton.addSelectionListener(styleListener);
 		redButton.addSelectionListener(colorListener);
 		yellowButton.addSelectionListener(colorListener);
 		yellowButton.addDisposeListener(e -> {
 			boldImage.dispose();
 			italicImage.dispose();
 			redImage.dispose();
 			yellowImage.dispose();
 			underlineImage.dispose();
 			strikeoutImage.dispose();
 		});
 	}

 	/**
 	 * Creates the tab folder page.
 	 *
 	 * @param tabFolder org.eclipse.swt.widgets.TabFolder
 	 * @return the new page for the tab folder
 	 */
 	@Override
 	Composite createTabFolderPage (TabFolder tabFolder) {
 		super.createTabFolderPage (tabFolder);

 		/*
 		 * Add a resize listener to the tabFolderPage so that
 		 * if the user types into the example widget to change
 		 * its preferred size, and then resizes the shell, we
 		 * recalculate the preferred size correctly.
 		 */
 		tabFolderPage.addControlListener(ControlListener.controlResizedAdapter(e ->	setExampleWidgetSize ()));

 		return tabFolderPage;
 	}

 	/**
 	 * Creates the "Other" group.
 	 */
 	@Override
 	void createOtherGroup () {
 		super.createOtherGroup ();

 		/* Create display controls specific to this example */
 		mouseNavigatorButton = new Button (otherGroup, SWT.CHECK);
 		mouseNavigatorButton.setText (ControlExample.getResourceString("Mouse_Nav"));
 		mouseNavigatorButton.addSelectionListener (widgetSelectedAdapter(event -> styledText.setMouseNavigatorEnabled(mouseNavigatorButton.getSelection())));
 	}

 	/**
 	 * Disposes the "Example" widgets.
 	 */
 	@Override
 	void disposeExampleWidgets () {
 		/* store the state of the styledText if applicable */
 		if (styledText != null) {
 			styleRanges = styledText.getStyleRanges();
 			text = styledText.getText();
 		}
 		super.disposeExampleWidgets();
 	}

 	/**
 	 * Gets the list of custom event names.
 	 *
 	 * @return an array containing custom event names
 	 */
 	@Override
 	String [] getCustomEventNames () {
 		return new String [] {
 				"ExtendedModifyListener", "BidiSegmentListener", "LineBackgroundListener",
 				"LineStyleListener", "PaintObjectListener", "TextChangeListener",
 				"VerifyKeyListener", "WordMovementListener"};
 	}

 	/**
 	 * Gets the "Example" widget children.
 	 */
 	@Override
 	Widget [] getExampleWidgets () {
 		return new Widget [] {styledText};
 	}

 	/**
 	 * Returns a list of set/get API method names (without the set/get prefix)
 	 * that can be used to set/get values in the example control(s).
 	 */
 	@Override
 	String[] getMethodNames() {
 		return new String[] {"Alignment", "AlwaysShowScrollBars", "BlockSelection", "BottomMargin", "CaretOffset", "DoubleClickEnabled", "Editable", "HorizontalIndex", "HorizontalPixel", "Indent", "Justify", "LeftMargin", "LineSpacing", "Orientation", "RightMargin", "Selection", "Tabs", "TabStops", "Text", "TextLimit", "ToolTipText", "TopIndex", "TopMargin", "TopPixel", "WrapIndent", "WordWrap"};
 	}


 	/**
 	 * Gets the text for the tab folder item.
 	 */
 	@Override
 	String getTabText () {
 		return "StyledText";
 	}

 	/**
 	 * Hooks the custom listener specified by eventName.
 	 */
 	@Override
 	void hookCustomListener (final String eventName) {
 		if (eventName == "ExtendedModifyListener") {
 			styledText.addExtendedModifyListener (event -> log (eventName, event));
 		}
 		if (eventName == "BidiSegmentListener") {
 			styledText.addBidiSegmentListener (event -> log (eventName, event));
 		}
 		if (eventName == "LineBackgroundListener") {
 			styledText.addLineBackgroundListener (event -> log (eventName, event));
 		}
 		if (eventName == "LineStyleListener") {
 			styledText.addLineStyleListener (event -> log (eventName, event));
 		}
 		if (eventName == "PaintObjectListener") {
 			styledText.addPaintObjectListener (event -> log (eventName, event));
 		}
 		if (eventName == "TextChangeListener") {
 			styledText.getContent().addTextChangeListener (new TextChangeListener() {
 				@Override
 				public void textChanged(TextChangedEvent event) {
 					log (eventName + ".textChanged", event);
 				}
 				@Override
 				public void textChanging(TextChangingEvent event) {
 					log (eventName + ".textChanging", event);
 				}
 				@Override
 				public void textSet(TextChangedEvent event) {
 					log (eventName + ".textSet", event);
 				}
 			});
 		}
 		if (eventName == "VerifyKeyListener") {
 			styledText.addVerifyKeyListener (event -> log (eventName, event));
 		}
 		if (eventName == "WordMovementListener") {
 			styledText.addWordMovementListener (new MovementListener() {
 				@Override
 				public void getNextOffset(MovementEvent event) {
 					log (eventName + ".getNextOffset", event);
 				}
 				@Override
 				public void getPreviousOffset(MovementEvent event) {
 					log (eventName + ".getPreviousOffset", event);
 				}
 			});
 		}
 	}

 	/**
 	 * Sets the state of the "Example" widgets.
 	 */
 	@Override
 	void setExampleWidgetState () {
 		super.setExampleWidgetState ();
 		wrapButton.setSelection ((styledText.getStyle () & SWT.WRAP) != 0);
 		readOnlyButton.setSelection ((styledText.getStyle () & SWT.READ_ONLY) != 0);
 		fullSelectionButton.setSelection ((styledText.getStyle () & SWT.FULL_SELECTION) != 0);
 		horizontalButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
 		verticalButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
 		wrapButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
 	}
 }
	/*******************************************************************************
	* Copyright (c) 2000, 2019 IBM Corporation and others.
	*
	* This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License 2.0
	* which accompanies this distribution, and is available at
	* https://www.eclipse.org/legal/epl-2.0/
	*
	* SPDX-License-Identifier: EPL-2.0
	*
	* Contributors:
	* IBM Corporation - initial API and implementation
	*******************************************************************************/
	package org.eclipse.swt.examples.controlexample;


	import static org.eclipse.swt.events.SelectionListener.widgetSelectedAdapter;

	import java.io.IOException;
	import java.io.InputStream;

	import org.eclipse.swt.SWT;
	import org.eclipse.swt.custom.MovementEvent;
	import org.eclipse.swt.custom.MovementListener;
	import org.eclipse.swt.custom.StyleRange;
	import org.eclipse.swt.custom.StyledText;
	import org.eclipse.swt.custom.TextChangeListener;
	import org.eclipse.swt.custom.TextChangedEvent;
	import org.eclipse.swt.custom.TextChangingEvent;
	import org.eclipse.swt.events.ControlListener;
	import org.eclipse.swt.events.SelectionListener;
	import org.eclipse.swt.graphics.Color;
	import org.eclipse.swt.graphics.Image;
	import org.eclipse.swt.graphics.ImageData;
	import org.eclipse.swt.graphics.Point;
	import org.eclipse.swt.layout.GridData;
	import org.eclipse.swt.layout.GridLayout;
	import org.eclipse.swt.widgets.Button;
	import org.eclipse.swt.widgets.Composite;
	import org.eclipse.swt.widgets.Display;
	import org.eclipse.swt.widgets.Group;
	import org.eclipse.swt.widgets.Label;
	import org.eclipse.swt.widgets.TabFolder;
	import org.eclipse.swt.widgets.Widget;

	class StyledTextTab extends ScrollableTab {
	/* Example widgets and groups that contain them */
	StyledText styledText;
	Group styledTextGroup, styledTextStyleGroup;

	/* Style widgets added to the "Style" group */
	Button wrapButton, readOnlyButton, fullSelectionButton;

	/* Buttons for adding StyleRanges to StyledText */
	Button boldButton, italicButton, redButton, yellowButton, underlineButton, strikeoutButton, resetButton;
	Image boldImage, italicImage, redImage, yellowImage, underlineImage, strikeoutImage;

	/* Other widgets added to the "Other" group */
	Button mouseNavigatorButton;

	/* Variables for saving state. */
	String text;
	StyleRange[] styleRanges;

	/**
	* Creates the Tab within a given instance of ControlExample.
	*/
	StyledTextTab(ControlExample instance) {
	super(instance);
	}

	/**
	* Creates a bitmap image.
	*/
	Image createBitmapImage (Display display, String name) {
	InputStream sourceStream = ControlExample.class.getResourceAsStream (name + ".bmp");
	InputStream maskStream = ControlExample.class.getResourceAsStream (name + "_mask.bmp");
	ImageData source = new ImageData (sourceStream);
	ImageData mask = new ImageData (maskStream);
	Image result = new Image (display, source, mask);
	try {
	sourceStream.close ();
	maskStream.close ();
	} catch (IOException e) {
	e.printStackTrace ();
	}
	return result;
	}

	/**
	* Creates the "Control" widget children.
	*/
	@Override
	void createControlWidgets () {
	super.createControlWidgets ();

	/* Add a group for modifying the StyledText widget */
	createStyledTextStyleGroup ();
	}

	/**
	* Creates the "Example" group.
	*/
	@Override
	void createExampleGroup () {
	super.createExampleGroup ();

	/* Create a group for the styled text widget */
	styledTextGroup = new Group (exampleGroup, SWT.NONE);
	styledTextGroup.setLayout (new GridLayout ());
	styledTextGroup.setLayoutData (new GridData (SWT.FILL, SWT.FILL, true, true));
	styledTextGroup.setText ("StyledText");
	}

	/**
	* Creates the "Example" widgets.
	*/
	@Override
	void createExampleWidgets () {

	/* Compute the widget style */
	int style = getDefaultStyle();
	if (singleButton.getSelection ()) style \|= SWT.SINGLE;
	if (multiButton.getSelection ()) style \|= SWT.MULTI;
	if (horizontalButton.getSelection ()) style \|= SWT.H_SCROLL;
	if (verticalButton.getSelection ()) style \|= SWT.V_SCROLL;
	if (wrapButton.getSelection ()) style \|= SWT.WRAP;
	if (readOnlyButton.getSelection ()) style \|= SWT.READ_ONLY;
	if (borderButton.getSelection ()) style \|= SWT.BORDER;
	if (fullSelectionButton.getSelection ()) style \|= SWT.FULL_SELECTION;

	/* Create the example widgets */
	styledText = new StyledText (styledTextGroup, style);
	styledText.setText (ControlExample.getResourceString("Example_string"));
	styledText.append ("\n");
	styledText.append (ControlExample.getResourceString("One_Two_Three"));

	if (text != null) {
	styledText.setText(text);
	text = null;
	}
	if (styleRanges != null) {
	styledText.setStyleRanges(styleRanges);
	styleRanges = null;
	}
	}

	/**
	* Creates the "Style" group.
	*/
	@Override
	void createStyleGroup() {
	super.createStyleGroup();

	/* Create the extra widgets */
	wrapButton = new Button (styleGroup, SWT.CHECK);
	wrapButton.setText ("SWT.WRAP");
	readOnlyButton = new Button (styleGroup, SWT.CHECK);
	readOnlyButton.setText ("SWT.READ_ONLY");
	fullSelectionButton = new Button (styleGroup, SWT.CHECK);
	fullSelectionButton.setText ("SWT.FULL_SELECTION");
	}

	/**
	* Creates the "StyledText Style" group.
	*/
	void createStyledTextStyleGroup () {
	styledTextStyleGroup = new Group (controlGroup, SWT.NONE);
	styledTextStyleGroup.setText (ControlExample.getResourceString ("StyledText_Styles"));
	styledTextStyleGroup.setLayout (new GridLayout(6, false));
	GridData data = new GridData (GridData.HORIZONTAL_ALIGN_FILL);
	data.horizontalSpan = 2;
	styledTextStyleGroup.setLayoutData (data);

	/* Get images */
	boldImage = createBitmapImage (display, "bold");
	italicImage = createBitmapImage (display, "italic");
	redImage = createBitmapImage (display, "red");
	yellowImage = createBitmapImage (display, "yellow");
	underlineImage = createBitmapImage (display, "underline");
	strikeoutImage = createBitmapImage (display, "strikeout");

	/* Create controls to modify the StyledText */
	Label label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("StyledText_Style_Instructions"));
	label.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false, 4, 1));
	resetButton = new Button (styledTextStyleGroup, SWT.PUSH);
	resetButton.setText(ControlExample.getResourceString ("Clear"));
	resetButton.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false, 2, 1));
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Bold"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	boldButton = new Button (styledTextStyleGroup, SWT.PUSH);
	boldButton.setImage (boldImage);
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Underline"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	underlineButton = new Button (styledTextStyleGroup, SWT.PUSH);
	underlineButton.setImage (underlineImage);
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Foreground_Style"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	redButton = new Button (styledTextStyleGroup, SWT.PUSH);
	redButton.setImage (redImage);
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Italic"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	italicButton = new Button (styledTextStyleGroup, SWT.PUSH);
	italicButton.setImage (italicImage);
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Strikeout"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	strikeoutButton = new Button (styledTextStyleGroup, SWT.PUSH);
	strikeoutButton.setImage (strikeoutImage);
	label = new Label (styledTextStyleGroup, SWT.NONE);
	label.setText (ControlExample.getResourceString ("Background_Style"));
	label.setLayoutData(new GridData(SWT.END, SWT.CENTER, true, false));
	yellowButton = new Button (styledTextStyleGroup, SWT.PUSH);
	yellowButton.setImage (yellowImage);
	SelectionListener styleListener = widgetSelectedAdapter(e -> {
	Point sel = styledText.getSelectionRange();
	if ((sel == null) \|\| (sel.y == 0)) return;
	StyleRange style;
	for (int i = sel.x; i<sel.x+sel.y; i++) {
	StyleRange range = styledText.getStyleRangeAtOffset(i);
	if (range != null && e.widget != resetButton) {
	style = (StyleRange)range.clone();
	style.start = i;
	style.length = 1;
	} else {
	style = new StyleRange(i, 1, null, null, SWT.NORMAL);
	}
	if (e.widget == boldButton) {
	style.fontStyle ^= SWT.BOLD;
	} else if (e.widget == italicButton) {
	style.fontStyle ^= SWT.ITALIC;
	} else if (e.widget == underlineButton) {
	style.underline = !style.underline;
	} else if (e.widget == strikeoutButton) {
	style.strikeout = !style.strikeout;
	}
	styledText.setStyleRange(style);
	}
	styledText.setSelectionRange(sel.x + sel.y, 0);
	});
	SelectionListener colorListener = widgetSelectedAdapter(e -> {
	Point sel = styledText.getSelectionRange();
	if ((sel == null) \|\| (sel.y == 0)) return;
	Color fg = null, bg = null;
	if (e.widget == redButton) {
	fg = display.getSystemColor (SWT.COLOR_RED);
	} else if (e.widget == yellowButton) {
	bg = display.getSystemColor (SWT.COLOR_YELLOW);
	}
	StyleRange style;
	for (int i = sel.x; i<sel.x+sel.y; i++) {
	StyleRange range = styledText.getStyleRangeAtOffset(i);
	if (range != null) {
	style = (StyleRange)range.clone();
	style.start = i;
	style.length = 1;
	if (fg != null) style.foreground = style.foreground != null ? null : fg;
	if (bg != null) style.background = style.background != null ? null : bg;
	} else {
	style = new StyleRange (i, 1, fg, bg, SWT.NORMAL);
	}
	styledText.setStyleRange(style);
	}
	styledText.setSelectionRange(sel.x + sel.y, 0);
	});
	resetButton.addSelectionListener(styleListener);
	boldButton.addSelectionListener(styleListener);
	italicButton.addSelectionListener(styleListener);
	underlineButton.addSelectionListener(styleListener);
	strikeoutButton.addSelectionListener(styleListener);
	redButton.addSelectionListener(colorListener);
	yellowButton.addSelectionListener(colorListener);
	yellowButton.addDisposeListener(e -> {
	boldImage.dispose();
	italicImage.dispose();
	redImage.dispose();
	yellowImage.dispose();
	underlineImage.dispose();
	strikeoutImage.dispose();
	});
	}

	/**
	* Creates the tab folder page.
	*
	* @param tabFolder org.eclipse.swt.widgets.TabFolder
	* @return the new page for the tab folder
	*/
	@Override
	Composite createTabFolderPage (TabFolder tabFolder) {
	super.createTabFolderPage (tabFolder);

	/*
	* Add a resize listener to the tabFolderPage so that
	* if the user types into the example widget to change
	* its preferred size, and then resizes the shell, we
	* recalculate the preferred size correctly.
	*/
	tabFolderPage.addControlListener(ControlListener.controlResizedAdapter(e -> setExampleWidgetSize ()));

	return tabFolderPage;
	}

	/**
	* Creates the "Other" group.
	*/
	@Override
	void createOtherGroup () {
	super.createOtherGroup ();

	/* Create display controls specific to this example */
	mouseNavigatorButton = new Button (otherGroup, SWT.CHECK);
	mouseNavigatorButton.setText (ControlExample.getResourceString("Mouse_Nav"));
	mouseNavigatorButton.addSelectionListener (widgetSelectedAdapter(event -> styledText.setMouseNavigatorEnabled(mouseNavigatorButton.getSelection())));
	}

	/**
	* Disposes the "Example" widgets.
	*/
	@Override
	void disposeExampleWidgets () {
	/* store the state of the styledText if applicable */
	if (styledText != null) {
	styleRanges = styledText.getStyleRanges();
	text = styledText.getText();
	}
	super.disposeExampleWidgets();
	}

	/**
	* Gets the list of custom event names.
	*
	* @return an array containing custom event names
	*/
	@Override
	String [] getCustomEventNames () {
	return new String [] {
	"ExtendedModifyListener", "BidiSegmentListener", "LineBackgroundListener",
	"LineStyleListener", "PaintObjectListener", "TextChangeListener",
	"VerifyKeyListener", "WordMovementListener"};
	}

	/**
	* Gets the "Example" widget children.
	*/
	@Override
	Widget [] getExampleWidgets () {
	return new Widget [] {styledText};
	}

	/**
	* Returns a list of set/get API method names (without the set/get prefix)
	* that can be used to set/get values in the example control(s).
	*/
	@Override
	String[] getMethodNames() {
	return new String[] {"Alignment", "AlwaysShowScrollBars", "BlockSelection", "BottomMargin", "CaretOffset", "DoubleClickEnabled", "Editable", "HorizontalIndex", "HorizontalPixel", "Indent", "Justify", "LeftMargin", "LineSpacing", "Orientation", "RightMargin", "Selection", "Tabs", "TabStops", "Text", "TextLimit", "ToolTipText", "TopIndex", "TopMargin", "TopPixel", "WrapIndent", "WordWrap"};
	}


	/**
	* Gets the text for the tab folder item.
	*/
	@Override
	String getTabText () {
	return "StyledText";
	}

	/**
	* Hooks the custom listener specified by eventName.
	*/
	@Override
	void hookCustomListener (final String eventName) {
	if (eventName == "ExtendedModifyListener") {
	styledText.addExtendedModifyListener (event -> log (eventName, event));
	}
	if (eventName == "BidiSegmentListener") {
	styledText.addBidiSegmentListener (event -> log (eventName, event));
	}
	if (eventName == "LineBackgroundListener") {
	styledText.addLineBackgroundListener (event -> log (eventName, event));
	}
	if (eventName == "LineStyleListener") {
	styledText.addLineStyleListener (event -> log (eventName, event));
	}
	if (eventName == "PaintObjectListener") {
	styledText.addPaintObjectListener (event -> log (eventName, event));
	}
	if (eventName == "TextChangeListener") {
	styledText.getContent().addTextChangeListener (new TextChangeListener() {
	@Override
	public void textChanged(TextChangedEvent event) {
	log (eventName + ".textChanged", event);
	}
	@Override
	public void textChanging(TextChangingEvent event) {
	log (eventName + ".textChanging", event);
	}
	@Override
	public void textSet(TextChangedEvent event) {
	log (eventName + ".textSet", event);
	}
	});
	}
	if (eventName == "VerifyKeyListener") {
	styledText.addVerifyKeyListener (event -> log (eventName, event));
	}
	if (eventName == "WordMovementListener") {
	styledText.addWordMovementListener (new MovementListener() {
	@Override
	public void getNextOffset(MovementEvent event) {
	log (eventName + ".getNextOffset", event);
	}
	@Override
	public void getPreviousOffset(MovementEvent event) {
	log (eventName + ".getPreviousOffset", event);
	}
	});
	}
	}

	/**
	* Sets the state of the "Example" widgets.
	*/
	@Override
	void setExampleWidgetState () {
	super.setExampleWidgetState ();
	wrapButton.setSelection ((styledText.getStyle () & SWT.WRAP) != 0);
	readOnlyButton.setSelection ((styledText.getStyle () & SWT.READ_ONLY) != 0);
	fullSelectionButton.setSelection ((styledText.getStyle () & SWT.FULL_SELECTION) != 0);
	horizontalButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
	verticalButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
	wrapButton.setEnabled ((styledText.getStyle () & SWT.MULTI) != 0);
	}
	}