diff options
Diffstat (limited to 'examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java')
| -rwxr-xr-x | examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java | 355 |
1 files changed, 355 insertions, 0 deletions
diff --git a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java new file mode 100755 index 0000000000..b3455b6b32 --- /dev/null +++ b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/texteditor/TextEditor.java @@ -0,0 +1,355 @@ +package org.eclipse.swt.examples.texteditor;
+
+/*
+ * (c) Copyright IBM Corp. 2000, 2001.
+ * All Rights Reserved
+ */
+
+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.*;
+import java.io.*;
+
+/**
+*/
+public class TextEditor {
+ Shell shell;
+ ToolBar toolBar;
+ StyledText text;
+
+ Vector cachedStyles = new Vector();
+ Color RED = null;
+ Color BLUE = null;
+ Color GREEN = null;
+ Font font = null;
+
+ boolean isBold = false;
+
+ ExtendedModifyListener extendedModifyListener;
+ VerifyKeyListener verifyKeyListener;
+ static ResourceBundle resources = ResourceBundle.getBundle("examples_texteditor");
+
+/*
+ * Free the allocated resources.
+ */
+public void close () {
+ if (shell != null && !shell.isDisposed ())
+ shell.dispose ();
+ if (font != null) font.dispose();
+ Images.freeAll ();
+ RED.dispose();
+ GREEN.dispose();
+ BLUE.dispose();
+}
+
+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.addSelectionListener(new SelectionAdapter() {
+ public void widgetSelected(SelectionEvent event) {
+ text.cut();
+ }
+ });
+
+ item = new MenuItem (menu, SWT.PUSH);
+ item.setText (resources.getString("Copy_menuitem"));
+ item.addSelectionListener(new SelectionAdapter() {
+ public void widgetSelected(SelectionEvent event) {
+ text.copy();
+ }
+ });
+
+ item = new MenuItem (menu, SWT.PUSH);
+ item.setText (resources.getString("Paste_menuitem"));
+ 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;
+}
+
+
+/*
+ * Set the text state to bold.
+ */
+void bold(boolean bold) {
+ isBold = bold;
+}
+/*
+ * Clear all style data for the selected text.
+ */
+void clear() {
+ Point sel = text.getSelectionRange();
+ if ((sel != null) && (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(int color) {
+ Point sel = text.getSelectionRange();
+ if ((sel == null) || (sel.y == 0)) return;
+ Color fg;
+ if (color == SWT.COLOR_RED) {
+ fg = RED;
+ } else if (color == SWT.COLOR_GREEN) {
+ fg = GREEN;
+ } else if (color == SWT.COLOR_BLUE) {
+ fg = BLUE;
+ } else {
+ fg = null;
+ }
+ StyleRange style;
+ for (int i = sel.x; i<sel.x+sel.y; i++) {
+ StyleRange range = text.getStyleRangeAtOffset(i);
+ if (range == null) {style = new StyleRange(i, 1, fg, null, SWT.NORMAL);}
+ else {style = new StyleRange(i, 1, fg, null, range.fontStyle);};
+ text.setStyleRange(style);
+ }
+ text.setSelectionRange(sel.x + sel.y, 0);
+}
+void createMenuBar () {
+ Menu bar = new Menu (shell, SWT.BAR);
+ shell.setMenuBar (bar);
+
+ MenuItem editItem = new MenuItem (bar, SWT.CASCADE);
+ editItem.setText (resources.getString("Edit_menuitem"));
+ editItem.setMenu (createEditMenu ());
+}
+
+void createShell () {
+ shell = new Shell ();
+ shell.setText (resources.getString("Window_title"));
+ Images.loadAll (shell.getDisplay ());
+ GridLayout layout = new GridLayout();
+ layout.numColumns = 1;
+ shell.setSize(500, 300);
+ shell.setLayout(layout);
+}
+void createStyledText() {
+ initializeColors();
+ text = new StyledText (shell, SWT.BORDER | SWT.MULTI | SWT.V_SCROLL | SWT.H_SCROLL);
+ GridData spec = new GridData();
+ spec.horizontalAlignment = spec.FILL;
+ spec.grabExcessHorizontalSpace = true;
+ spec.verticalAlignment = spec.FILL;
+ spec.grabExcessVerticalSpace = true;
+ text.setLayoutData(spec);
+ extendedModifyListener = new ExtendedModifyListener() {
+ public void modifyText(ExtendedModifyEvent e) {
+ handleExtendedModify(e);
+ }
+ };
+ text.addExtendedModifyListener(extendedModifyListener);
+ verifyKeyListener = new VerifyKeyListener() {
+ public void verifyKey(VerifyEvent e) {
+ handleVerifyKey(e);
+ }
+ };
+ text.addVerifyKeyListener(verifyKeyListener);
+}
+
+void createToolBar() {
+ toolBar = new ToolBar(shell, SWT.NULL);
+
+ ToolItem item = new ToolItem(toolBar, SWT.CHECK);
+ item.setImage(Images.Bold);
+ item.addSelectionListener(new SelectionAdapter() {
+ public void widgetSelected(SelectionEvent event) {
+ bold(((ToolItem)event.widget).getSelection());
+ }
+ });
+
+ 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(SWT.COLOR_RED);
+ }
+ });
+ item = new ToolItem(toolBar, SWT.PUSH);
+ item.setImage(Images.Green);
+ item.addSelectionListener(new SelectionAdapter() {
+ public void widgetSelected(SelectionEvent event) {
+ fgColor(SWT.COLOR_GREEN);
+ }
+ });
+ item = new ToolItem(toolBar, SWT.PUSH);
+ item.setImage(Images.Blue);
+ item.addSelectionListener(new SelectionAdapter() {
+ public void widgetSelected(SelectionEvent event) {
+ fgColor(SWT.COLOR_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();
+ }
+ });
+}
+void displayError(String msg) {
+ MessageBox box = new MessageBox(shell, SWT.ICON_ERROR);
+ box.setMessage(msg);
+ box.open();
+}
+/*
+ * 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.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.start = event.start;
+ style.length = event.length;
+ int fontStyle = SWT.NORMAL;
+ if (isBold) fontStyle = SWT.BOLD;
+ style.fontStyle = fontStyle;
+ text.setStyleRange(style);
+ } else if (isBold) {
+ StyleRange newStyle = new StyleRange(event.start, event.length, null, null, SWT.BOLD);
+ text.setStyleRange(newStyle);
+ }
+ } else {
+ // paste occurring
+ 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);
+ }
+ }
+}
+/*
+ * Intercept the cut and copy keys so that during paste we can maintain
+ * style information.
+ */
+void handleVerifyKey(VerifyEvent event) {
+ int input;
+ if (event.keyCode != 0) input = event.keyCode | event.stateMask;
+ else input = event.character | event.stateMask;
+ if (isCut(input) || isCopy(input)) {
+ handleCutCopy();
+ }
+}
+
+public static void main (String [] args) {
+ TextEditor example = new TextEditor ();
+ example.open ();
+ example.run ();
+ example.close ();
+}
+
+void open () {
+ createShell ();
+ createMenuBar ();
+ createToolBar ();
+ createStyledText ();
+ shell.open ();
+}
+
+void run () {
+ Display display = shell.getDisplay ();
+ while (!shell.isDisposed ())
+ if (!display.readAndDispatch ()) display.sleep ();
+}
+
+void setFont() {
+ FontDialog fontDialog = new FontDialog(shell);
+ fontDialog.setFontData((text.getFont()).getFontData()[0]);
+ FontData fontData = fontDialog.open();
+ if(fontData != null) {
+ if(font != null)
+ font.dispose();
+ font = new Font(shell.getDisplay(), fontData);
+ text.setFont(font);
+ }
+}
+
+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));
+}
+boolean isCopy(int input) {
+
+ if (input == (SWT.INSERT | SWT.CTRL)) return true;
+
+ if (input == ('\u0003' | SWT.CTRL)) return true;
+
+ return false;
+
+}
+boolean isCut(int input) {
+
+ if (input == (SWT.DEL | SWT.SHIFT)) return true;
+
+ if (input == ('\u0018' | SWT.CTRL)) return true;
+
+ return false;
+
+}
+
+
+}
|