Mercurial > projects > dwt-samples

annotate snippets/treeeditor/Snippet111.d @ 120:1f0a7a472680

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix rm snippets from module statements.
author Frank Benoit <benoit@tionex.de>
date Sun, 20 Jul 2008 19:17:23 +0200
parents fa286c85e7b8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
1 /*******************************************************************************
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
2 * Copyright (c) 2000, 2004 IBM Corporation and others.
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
3 * All rights reserved. This program and the accompanying materials
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
4 * are made available under the terms of the Eclipse Public License v1.0
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
5 * which accompanies this distribution, and is available at
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
6 * http://www.eclipse.org/legal/epl-v10.html
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
7 *
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
8 * Contributors:
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
9 * IBM Corporation - initial API and implementation
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
10 * D Port:
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
11 * Bill Baxter <wbaxter@gmail.com>
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
12 *******************************************************************************/
120
1f0a7a472680 fix rm snippets from module statements.
Frank Benoit <benoit@tionex.de>
parents: 85
diff changeset
13 module treeeditor.Snippet111;
84
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
14
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
15 /*
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
16 * TreeEditor example snippet: edit the text of a tree item (in place, fancy)
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
17 *
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
18 * For a list of all SWT example snippets see
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
19 * http://www.eclipse.org/swt/snippets/
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
20 */
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
21 import dwt.DWT;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
22 import dwt.graphics.Color;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
23 import dwt.graphics.Rectangle;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
24 import dwt.graphics.GC;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
25 import dwt.widgets.Display;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
26 import dwt.widgets.Shell;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
27 import dwt.widgets.Widget;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
28 import dwt.widgets.Composite;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
29 import dwt.widgets.Tree;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
30 import dwt.widgets.TreeItem;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
31 import dwt.widgets.Text;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
32 import dwt.widgets.Listener;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
33 import dwt.widgets.Event;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
34 import dwt.layout.FillLayout;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
35 import dwt.custom.TreeEditor;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
36
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
37 import dwt.dwthelper.utils : String, substring, Math;
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
38
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
39 import tango.util.Convert;
85
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
40 import tango.util.log.Trace;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
41 version(JIVE){
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
42 import jive.stacktrace;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
43 }
84
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
44
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
45 void main () {
85
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
46
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
47 Tree tree;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
48 Color black;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
49 void handleResize (Event e, Composite composite, Text text, int inset ) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
50 Rectangle rect = composite.getClientArea ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
51 text.setBounds (rect.x + inset, rect.y + inset, rect.width - inset * 2, rect.height - inset * 2);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
52 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
53 void handleTextEvent (Event e, Composite composite, TreeItem item, TreeEditor editor,Text text, int inset ) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
54 switch (e.type) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
55 case DWT.FocusOut: {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
56 item.setText (text.getText ());
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
57 composite.dispose ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
58 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
59 break;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
60 case DWT.Verify: {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
61 String newText = text.getText ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
62 String leftText = newText.substring (0, e.start);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
63 String rightText = newText.substring (e.end, newText.length);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
64 GC gc = new GC (text);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
65 Point size = gc.textExtent (leftText ~ e.text ~ rightText);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
66 gc.dispose ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
67 size = text.computeSize (size.x, DWT.DEFAULT);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
68 editor.horizontalAlignment = DWT.LEFT;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
69 Rectangle itemRect = item.getBounds (), rect = tree.getClientArea ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
70 editor.minimumWidth = Math.max (size.x, itemRect.width) + inset* 2;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
71 int left = itemRect.x, right = rect.x + rect.width;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
72 editor.minimumWidth = Math.min (editor.minimumWidth, right - left);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
73 editor.minimumHeight = size.y + inset* 2;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
74 editor.layout ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
75 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
76 break;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
77 case DWT.Traverse: {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
78 switch (e.detail) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
79 case DWT.TRAVERSE_RETURN:
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
80 item.setText (text.getText ());
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
81 //FALL THROUGH
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
82 case DWT.TRAVERSE_ESCAPE:
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
83 composite.dispose ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
84 e.doit = false;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
85 default:
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
86 //no-op
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
87 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
88 break;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
89 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
90 default:
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
91 // no-op
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
92 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
93 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
94 void handleSelection (Event event, TreeItem[] lastItem, TreeEditor editor ) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
95 TreeItem item = cast(TreeItem) event.item;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
96 if (item !is null && item is lastItem [0]) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
97 bool showBorder = true;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
98 Composite composite = new Composite (tree, DWT.NONE);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
99 if (showBorder) composite.setBackground (black);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
100 Text text = new Text (composite, DWT.NONE);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
101 int inset = showBorder ? 1 : 0;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
102 composite.addListener (DWT.Resize, dgListener( &handleResize, composite, text, inset ));
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
103 Listener textListener = dgListener( &handleTextEvent, composite, item, editor, text, inset);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
104 text.addListener (DWT.FocusOut, textListener);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
105 text.addListener (DWT.Traverse, textListener);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
106 text.addListener (DWT.Verify, textListener);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
107 editor.setEditor (composite, item);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
108 text.setText (item.getText ());
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
109 text.selectAll ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
110 text.setFocus ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
111 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
112 lastItem [0] = item;
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
113 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
114
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
115 Display display = new Display ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
116 black = display.getSystemColor (DWT.COLOR_BLACK);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
117 Shell shell = new Shell (display);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
118 shell.setLayout (new FillLayout ());
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
119 tree = new Tree (shell, DWT.BORDER);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
120 for (int i=0; i<16; i++) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
121 TreeItem itemI = new TreeItem (tree, DWT.NONE);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
122 itemI.setText ("Item " ~ to!(char[])(i));
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
123 for (int j=0; j<16; j++) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
124 TreeItem itemJ = new TreeItem (itemI, DWT.NONE);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
125 itemJ.setText ("Item " ~ to!(char[])(j) );
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
126 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
127 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
128 TreeItem [] lastItem = new TreeItem [1];
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
129 TreeEditor editor = new TreeEditor (tree);
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
130 tree.addListener (DWT.Selection, dgListener( &handleSelection, lastItem, editor ));
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
131 shell.pack ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
132 shell.open ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
133 while (!shell.isDisposed()) {
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
134 if (!display.readAndDispatch ()) display.sleep ();
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
135 }
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
136 display.dispose ();
84
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
137 }
398aa64a7243 Two new snippets -- don't quite work yet though.
Bill Baxter <bill@billbaxter.com>
parents:
diff changeset
138
85
fa286c85e7b8 Fix Snippet111 and add jive to Snippet220
Frank Benoit <benoit@tionex.de>
parents: 84
diff changeset
139