examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java - platform/eclipse.platform.swt - Git at Google

 /*******************************************************************************
  * Copyright (c) 2000, 2003 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *******************************************************************************/
 package org.eclipse.swt.examples.texteditor;


 import org.eclipse.swt.*;
 import org.eclipse.swt.custom.*;
 import org.eclipse.swt.events.*;
 import org.eclipse.swt.graphics.*;
 import org.eclipse.swt.layout.*;
 import org.eclipse.swt.widgets.*;
 import java.util.*;

 /**
  */
 public class TextEditor {
 	Shell shell;
 	ToolBar toolBar;
 	StyledText text;

 	Images images = new Images();
 	Vector cachedStyles = new Vector();
 	Color RED = null;
 	Color BLUE = null;
 	Color GREEN = null;
 	Font font = null;
 	ToolItem boldButton, italicButton, underlineButton, strikeoutButton;

 	static ResourceBundle resources = ResourceBundle.getBundle("examples_texteditor");

 Menu createEditMenu() {
 	Menu bar = shell.getMenuBar ();
 	Menu menu = new Menu (bar);

 	MenuItem item = new MenuItem (menu, SWT.PUSH);
 	item.setText (resources.getString("Cut_menuitem"));
 	item.setAccelerator(SWT.MOD1 + 'X');
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			handleCutCopy();
 			text.cut();
 		}
 	});
 	item = new MenuItem (menu, SWT.PUSH);
 	item.setText (resources.getString("Copy_menuitem"));
 	item.setAccelerator(SWT.MOD1 + 'C');
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			handleCutCopy();
 			text.copy();
 		}
 	});
 	item = new MenuItem (menu, SWT.PUSH);
 	item.setText (resources.getString("Paste_menuitem"));
 	item.setAccelerator(SWT.MOD1 + 'V');
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			text.paste();
 		}
 	});
 	new MenuItem (menu, SWT.SEPARATOR);
 	item = new MenuItem (menu, SWT.PUSH);
 	item.setText (resources.getString("Font_menuitem"));
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			setFont();
 		}
 	});
 	return menu;
 }

 Menu createFileMenu() {
 	Menu bar = shell.getMenuBar ();
 	Menu menu = new Menu (bar);

 	MenuItem item = new MenuItem (menu, SWT.PUSH);
 	item.setText (resources.getString("Exit_menuitem"));
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			shell.close ();
 		}
 	});

 	return menu;
 }

 /*
  * Set a style
  */
 void setStyle(Widget widget) {
 	Point sel = text.getSelectionRange();
 	if ((sel == null) || (sel.y == 0)) return;
 	StyleRange style;
 	for (int i = sel.x; i<sel.x+sel.y; i++) {
 		StyleRange range = text.getStyleRangeAtOffset(i);
 		if (range != null) {
 			style = (StyleRange)range.clone();
 			style.start = i;
 			style.length = 1;
 		} else {
 			style = new StyleRange(i, 1, null, null, SWT.NORMAL);
 		}
 		if (widget == boldButton) {
 			style.fontStyle ^= SWT.BOLD;
 		} else if (widget == italicButton) {
 			style.fontStyle ^= SWT.ITALIC;
 		} else if (widget == underlineButton) {
 			style.underline = !style.underline;
 		} else if (widget == strikeoutButton) {
 			style.strikeout = !style.strikeout;
 		}
 		text.setStyleRange(style);
 	}
 	text.setSelectionRange(sel.x + sel.y, 0);
 }

 /*
  * Clear all style data for the selected text.
  */
 void clear() {
 	Point sel = text.getSelectionRange();
 	if (sel.y != 0) {
 		StyleRange style;
 		style = new StyleRange(sel.x, sel.y, null, null, SWT.NORMAL);
 		text.setStyleRange(style);
 	}
 	text.setSelectionRange(sel.x + sel.y, 0);
 }
 /*
  * Set the foreground color for the selected text.
  */
 void fgColor(Color fg) {
 	Point sel = text.getSelectionRange();
 	if ((sel == null) || (sel.y == 0)) return;
 	StyleRange style, range;
 	for (int i = sel.x; i<sel.x+sel.y; i++) {
 		range = text.getStyleRangeAtOffset(i);
 		if (range != null) {
 			style = (StyleRange)range.clone();
 			style.start = i;
 			style.length = 1;
 			style.foreground = fg;
 		} else {
 			style = new StyleRange (i, 1, fg, null, SWT.NORMAL);
 		}
 		text.setStyleRange(style);
 	}
 	text.setSelectionRange(sel.x + sel.y, 0);
 }
 void createMenuBar () {
 	Menu bar = new Menu (shell, SWT.BAR);
 	shell.setMenuBar (bar);

 	MenuItem fileItem = new MenuItem (bar, SWT.CASCADE);
 	fileItem.setText (resources.getString("File_menuitem"));
 	fileItem.setMenu (createFileMenu ());

 	MenuItem editItem = new MenuItem (bar, SWT.CASCADE);
 	editItem.setText (resources.getString("Edit_menuitem"));
 	editItem.setMenu (createEditMenu ());
 }

 void createShell (Display display) {
 	shell = new Shell (display);
 	shell.setText (resources.getString("Window_title"));
 	images.loadAll (display);
 	GridLayout layout = new GridLayout();
 	layout.numColumns = 1;
 	shell.setLayout(layout);
 	shell.addDisposeListener (new DisposeListener () {
 		public void widgetDisposed (DisposeEvent e) {
 			if (font != null) font.dispose();
 			images.freeAll ();
 			RED.dispose();
 			GREEN.dispose();
 			BLUE.dispose();
 		}
 	});
 }
 void createStyledText() {
 	initializeColors();
 	text = new StyledText (shell, SWT.BORDER | SWT.MULTI | SWT.V_SCROLL | SWT.H_SCROLL);
 	GridData spec = new GridData();
 	spec.horizontalAlignment = GridData.FILL;
 	spec.grabExcessHorizontalSpace = true;
 	spec.verticalAlignment = GridData.FILL;
 	spec.grabExcessVerticalSpace = true;
 	text.setLayoutData(spec);
 	text.addExtendedModifyListener(new ExtendedModifyListener() {
 		public void modifyText(ExtendedModifyEvent e) {
 			handleExtendedModify(e);
 		}
 	});
 }

 void createToolBar() {
 	toolBar = new ToolBar(shell, SWT.NONE);
 	SelectionAdapter listener = new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			setStyle (event.widget);
 		}
 	};
 	boldButton = new ToolItem(toolBar, SWT.CHECK);
 	boldButton.setImage(images.Bold);
 	boldButton.setToolTipText(resources.getString("Bold"));
 	boldButton.addSelectionListener(listener);
 	italicButton = new ToolItem(toolBar, SWT.CHECK);
 	italicButton.setImage(images.Italic);
 	italicButton.setToolTipText(resources.getString("Italic"));
 	italicButton.addSelectionListener(listener);
 	underlineButton = new ToolItem(toolBar, SWT.CHECK);
 	underlineButton.setImage(images.Underline);
 	underlineButton.setToolTipText(resources.getString("Underline"));
 	underlineButton.addSelectionListener(listener);
 	strikeoutButton = new ToolItem(toolBar, SWT.CHECK);
 	strikeoutButton.setImage(images.Strikeout);
 	strikeoutButton.setToolTipText(resources.getString("Strikeout"));
 	strikeoutButton.addSelectionListener(listener);

 	ToolItem item = new ToolItem(toolBar, SWT.SEPARATOR);
 	item = new ToolItem(toolBar, SWT.PUSH);
 	item.setImage(images.Red);
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			fgColor(RED);
 		}
 	});
 	item = new ToolItem(toolBar, SWT.PUSH);
 	item.setImage(images.Green);
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			fgColor(GREEN);
 		}
 	});
 	item = new ToolItem(toolBar, SWT.PUSH);
 	item.setImage(images.Blue);
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			fgColor(BLUE);
 		}
 	});
 	item = new ToolItem(toolBar, SWT.SEPARATOR);
 	item = new ToolItem(toolBar, SWT.PUSH);
 	item.setImage(images.Erase);
 	item.addSelectionListener(new SelectionAdapter() {
 		public void widgetSelected(SelectionEvent event) {
 			clear();
 		}
 	});
 }
 /*
  * Cache the style information for text that has been cut or copied.
  */
 void handleCutCopy() {
 	// Save the cut/copied style info so that during paste we will maintain
 	// the style information.  Cut/copied text is put in the clipboard in
 	// RTF format, but is not pasted in RTF format.  The other way to
 	// handle the pasting of styles would be to access the Clipboard directly and
 	// parse the RTF text.
 	cachedStyles = new Vector();
 	Point sel = text.getSelectionRange();
 	int startX = sel.x;
 	for (int i=sel.x; i<=sel.x+sel.y-1; i++) {
 		StyleRange style = text.getStyleRangeAtOffset(i);
 		if (style != null) {
 			style.start = style.start - startX;
 			if (!cachedStyles.isEmpty()) {
 				StyleRange lastStyle = (StyleRange)cachedStyles.lastElement();
 				if (lastStyle.similarTo(style) && lastStyle.start + lastStyle.length == style.start) {
 					lastStyle.length++;
 				} else {
 					cachedStyles.addElement(style);
 				}
 			} else {
 				cachedStyles.addElement(style);
 			}
 		}
 	}
 }
 void handleExtendedModify(ExtendedModifyEvent event) {
 	if (event.length == 0) return;
 	StyleRange style;
 	if (event.length == 1 || text.getTextRange(event.start, event.length).equals(text.getLineDelimiter())) {
 		// Have the new text take on the style of the text to its right (during
 		// typing) if no style information is active.
 		int caretOffset = text.getCaretOffset();
 		style = null;
 		if (caretOffset < text.getCharCount()) style = text.getStyleRangeAtOffset(caretOffset);
 		if (style != null) {
 			style = (StyleRange) style.clone ();
 			style.start = event.start;
 			style.length = event.length;
 		} else {
 			style = new StyleRange(event.start, event.length, null, null, SWT.NORMAL);
 		}
 		if (boldButton.getSelection()) style.fontStyle |= SWT.BOLD;
 		if (italicButton.getSelection()) style.fontStyle |= SWT.ITALIC;
 		style.underline = underlineButton.getSelection();
 		style.strikeout = strikeoutButton.getSelection();
 		if (!style.isUnstyled()) text.setStyleRange(style);
 	} else {
 		// paste occurring, have text take on the styles it had when it was
 		// cut/copied
 		for (int i=0; i<cachedStyles.size(); i++) {
 			style = (StyleRange)cachedStyles.elementAt(i);
 			StyleRange newStyle = (StyleRange)style.clone();
 			newStyle.start = style.start + event.start;
 			text.setStyleRange(newStyle);
 		}
 	}
 }

 public static void main (String [] args) {
 	Display display = new Display ();
 	TextEditor example = new TextEditor ();
 	Shell shell = example.open (display);
 	while (!shell.isDisposed ())
 		if (!display.readAndDispatch ()) display.sleep ();
 	display.dispose ();
 }

 public Shell open (Display display) {
 	createShell (display);
 	createMenuBar ();
 	createToolBar ();
 	createStyledText ();
 	shell.setSize(500, 300);
 	shell.open ();
 	return shell;
 }

 void setFont() {
 	FontDialog fontDialog = new FontDialog(shell);
 	fontDialog.setFontList((text.getFont()).getFontData());
 	FontData fontData = fontDialog.open();
 	if (fontData != null) {
 		Font newFont = new Font(shell.getDisplay(), fontData);
 		text.setFont(newFont);
 		if (font != null) font.dispose();
 		font = newFont;
 	}
 }

 void initializeColors() {
 	Display display = Display.getDefault();
 	RED = new Color (display, new RGB(255,0,0));
 	BLUE = new Color (display, new RGB(0,0,255));
 	GREEN = new Color (display, new RGB(0,255,0));
 }
 }
	/*******************************************************************************
	* Copyright (c) 2000, 2003 IBM Corporation and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* Contributors:
	* IBM Corporation - initial API and implementation
	*******************************************************************************/
	package org.eclipse.swt.examples.texteditor;


	import org.eclipse.swt.*;
	import org.eclipse.swt.custom.*;
	import org.eclipse.swt.events.*;
	import org.eclipse.swt.graphics.*;
	import org.eclipse.swt.layout.*;
	import org.eclipse.swt.widgets.*;
	import java.util.*;

	/**
	*/
	public class TextEditor {
	Shell shell;
	ToolBar toolBar;
	StyledText text;

	Images images = new Images();
	Vector cachedStyles = new Vector();
	Color RED = null;
	Color BLUE = null;
	Color GREEN = null;
	Font font = null;
	ToolItem boldButton, italicButton, underlineButton, strikeoutButton;

	static ResourceBundle resources = ResourceBundle.getBundle("examples_texteditor");

	Menu createEditMenu() {
	Menu bar = shell.getMenuBar ();
	Menu menu = new Menu (bar);

	MenuItem item = new MenuItem (menu, SWT.PUSH);
	item.setText (resources.getString("Cut_menuitem"));
	item.setAccelerator(SWT.MOD1 + 'X');
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	handleCutCopy();
	text.cut();
	}
	});
	item = new MenuItem (menu, SWT.PUSH);
	item.setText (resources.getString("Copy_menuitem"));
	item.setAccelerator(SWT.MOD1 + 'C');
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	handleCutCopy();
	text.copy();
	}
	});
	item = new MenuItem (menu, SWT.PUSH);
	item.setText (resources.getString("Paste_menuitem"));
	item.setAccelerator(SWT.MOD1 + 'V');
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	text.paste();
	}
	});
	new MenuItem (menu, SWT.SEPARATOR);
	item = new MenuItem (menu, SWT.PUSH);
	item.setText (resources.getString("Font_menuitem"));
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	setFont();
	}
	});
	return menu;
	}

	Menu createFileMenu() {
	Menu bar = shell.getMenuBar ();
	Menu menu = new Menu (bar);

	MenuItem item = new MenuItem (menu, SWT.PUSH);
	item.setText (resources.getString("Exit_menuitem"));
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	shell.close ();
	}
	});

	return menu;
	}

	/*
	* Set a style
	*/
	void setStyle(Widget widget) {
	Point sel = text.getSelectionRange();
	if ((sel == null) \|\| (sel.y == 0)) return;
	StyleRange style;
	for (int i = sel.x; i<sel.x+sel.y; i++) {
	StyleRange range = text.getStyleRangeAtOffset(i);
	if (range != null) {
	style = (StyleRange)range.clone();
	style.start = i;
	style.length = 1;
	} else {
	style = new StyleRange(i, 1, null, null, SWT.NORMAL);
	}
	if (widget == boldButton) {
	style.fontStyle ^= SWT.BOLD;
	} else if (widget == italicButton) {
	style.fontStyle ^= SWT.ITALIC;
	} else if (widget == underlineButton) {
	style.underline = !style.underline;
	} else if (widget == strikeoutButton) {
	style.strikeout = !style.strikeout;
	}
	text.setStyleRange(style);
	}
	text.setSelectionRange(sel.x + sel.y, 0);
	}

	/*
	* Clear all style data for the selected text.
	*/
	void clear() {
	Point sel = text.getSelectionRange();
	if (sel.y != 0) {
	StyleRange style;
	style = new StyleRange(sel.x, sel.y, null, null, SWT.NORMAL);
	text.setStyleRange(style);
	}
	text.setSelectionRange(sel.x + sel.y, 0);
	}
	/*
	* Set the foreground color for the selected text.
	*/
	void fgColor(Color fg) {
	Point sel = text.getSelectionRange();
	if ((sel == null) \|\| (sel.y == 0)) return;
	StyleRange style, range;
	for (int i = sel.x; i<sel.x+sel.y; i++) {
	range = text.getStyleRangeAtOffset(i);
	if (range != null) {
	style = (StyleRange)range.clone();
	style.start = i;
	style.length = 1;
	style.foreground = fg;
	} else {
	style = new StyleRange (i, 1, fg, null, SWT.NORMAL);
	}
	text.setStyleRange(style);
	}
	text.setSelectionRange(sel.x + sel.y, 0);
	}
	void createMenuBar () {
	Menu bar = new Menu (shell, SWT.BAR);
	shell.setMenuBar (bar);

	MenuItem fileItem = new MenuItem (bar, SWT.CASCADE);
	fileItem.setText (resources.getString("File_menuitem"));
	fileItem.setMenu (createFileMenu ());

	MenuItem editItem = new MenuItem (bar, SWT.CASCADE);
	editItem.setText (resources.getString("Edit_menuitem"));
	editItem.setMenu (createEditMenu ());
	}

	void createShell (Display display) {
	shell = new Shell (display);
	shell.setText (resources.getString("Window_title"));
	images.loadAll (display);
	GridLayout layout = new GridLayout();
	layout.numColumns = 1;
	shell.setLayout(layout);
	shell.addDisposeListener (new DisposeListener () {
	public void widgetDisposed (DisposeEvent e) {
	if (font != null) font.dispose();
	images.freeAll ();
	RED.dispose();
	GREEN.dispose();
	BLUE.dispose();
	}
	});
	}
	void createStyledText() {
	initializeColors();
	text = new StyledText (shell, SWT.BORDER \| SWT.MULTI \| SWT.V_SCROLL \| SWT.H_SCROLL);
	GridData spec = new GridData();
	spec.horizontalAlignment = GridData.FILL;
	spec.grabExcessHorizontalSpace = true;
	spec.verticalAlignment = GridData.FILL;
	spec.grabExcessVerticalSpace = true;
	text.setLayoutData(spec);
	text.addExtendedModifyListener(new ExtendedModifyListener() {
	public void modifyText(ExtendedModifyEvent e) {
	handleExtendedModify(e);
	}
	});
	}

	void createToolBar() {
	toolBar = new ToolBar(shell, SWT.NONE);
	SelectionAdapter listener = new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	setStyle (event.widget);
	}
	};
	boldButton = new ToolItem(toolBar, SWT.CHECK);
	boldButton.setImage(images.Bold);
	boldButton.setToolTipText(resources.getString("Bold"));
	boldButton.addSelectionListener(listener);
	italicButton = new ToolItem(toolBar, SWT.CHECK);
	italicButton.setImage(images.Italic);
	italicButton.setToolTipText(resources.getString("Italic"));
	italicButton.addSelectionListener(listener);
	underlineButton = new ToolItem(toolBar, SWT.CHECK);
	underlineButton.setImage(images.Underline);
	underlineButton.setToolTipText(resources.getString("Underline"));
	underlineButton.addSelectionListener(listener);
	strikeoutButton = new ToolItem(toolBar, SWT.CHECK);
	strikeoutButton.setImage(images.Strikeout);
	strikeoutButton.setToolTipText(resources.getString("Strikeout"));
	strikeoutButton.addSelectionListener(listener);

	ToolItem item = new ToolItem(toolBar, SWT.SEPARATOR);
	item = new ToolItem(toolBar, SWT.PUSH);
	item.setImage(images.Red);
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	fgColor(RED);
	}
	});
	item = new ToolItem(toolBar, SWT.PUSH);
	item.setImage(images.Green);
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	fgColor(GREEN);
	}
	});
	item = new ToolItem(toolBar, SWT.PUSH);
	item.setImage(images.Blue);
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	fgColor(BLUE);
	}
	});
	item = new ToolItem(toolBar, SWT.SEPARATOR);
	item = new ToolItem(toolBar, SWT.PUSH);
	item.setImage(images.Erase);
	item.addSelectionListener(new SelectionAdapter() {
	public void widgetSelected(SelectionEvent event) {
	clear();
	}
	});
	}
	/*
	* Cache the style information for text that has been cut or copied.
	*/
	void handleCutCopy() {
	// Save the cut/copied style info so that during paste we will maintain
	// the style information. Cut/copied text is put in the clipboard in
	// RTF format, but is not pasted in RTF format. The other way to
	// handle the pasting of styles would be to access the Clipboard directly and
	// parse the RTF text.
	cachedStyles = new Vector();
	Point sel = text.getSelectionRange();
	int startX = sel.x;
	for (int i=sel.x; i<=sel.x+sel.y-1; i++) {
	StyleRange style = text.getStyleRangeAtOffset(i);
	if (style != null) {
	style.start = style.start - startX;
	if (!cachedStyles.isEmpty()) {
	StyleRange lastStyle = (StyleRange)cachedStyles.lastElement();
	if (lastStyle.similarTo(style) && lastStyle.start + lastStyle.length == style.start) {
	lastStyle.length++;
	} else {
	cachedStyles.addElement(style);
	}
	} else {
	cachedStyles.addElement(style);
	}
	}
	}
	}
	void handleExtendedModify(ExtendedModifyEvent event) {
	if (event.length == 0) return;
	StyleRange style;
	if (event.length == 1 \|\| text.getTextRange(event.start, event.length).equals(text.getLineDelimiter())) {
	// Have the new text take on the style of the text to its right (during
	// typing) if no style information is active.
	int caretOffset = text.getCaretOffset();
	style = null;
	if (caretOffset < text.getCharCount()) style = text.getStyleRangeAtOffset(caretOffset);
	if (style != null) {
	style = (StyleRange) style.clone ();
	style.start = event.start;
	style.length = event.length;
	} else {
	style = new StyleRange(event.start, event.length, null, null, SWT.NORMAL);
	}
	if (boldButton.getSelection()) style.fontStyle \|= SWT.BOLD;
	if (italicButton.getSelection()) style.fontStyle \|= SWT.ITALIC;
	style.underline = underlineButton.getSelection();
	style.strikeout = strikeoutButton.getSelection();
	if (!style.isUnstyled()) text.setStyleRange(style);
	} else {
	// paste occurring, have text take on the styles it had when it was
	// cut/copied
	for (int i=0; i<cachedStyles.size(); i++) {
	style = (StyleRange)cachedStyles.elementAt(i);
	StyleRange newStyle = (StyleRange)style.clone();
	newStyle.start = style.start + event.start;
	text.setStyleRange(newStyle);
	}
	}
	}

	public static void main (String [] args) {
	Display display = new Display ();
	TextEditor example = new TextEditor ();
	Shell shell = example.open (display);
	while (!shell.isDisposed ())
	if (!display.readAndDispatch ()) display.sleep ();
	display.dispose ();
	}

	public Shell open (Display display) {
	createShell (display);
	createMenuBar ();
	createToolBar ();
	createStyledText ();
	shell.setSize(500, 300);
	shell.open ();
	return shell;
	}

	void setFont() {
	FontDialog fontDialog = new FontDialog(shell);
	fontDialog.setFontList((text.getFont()).getFontData());
	FontData fontData = fontDialog.open();
	if (fontData != null) {
	Font newFont = new Font(shell.getDisplay(), fontData);
	text.setFont(newFont);
	if (font != null) font.dispose();
	font = newFont;
	}
	}

	void initializeColors() {
	Display display = Display.getDefault();
	RED = new Color (display, new RGB(255,0,0));
	BLUE = new Color (display, new RGB(0,0,255));
	GREEN = new Color (display, new RGB(0,255,0));
	}
	}