Mercurial > projects > dwt-samples

annotate snippets/styledtext/Snippet217.d @ 179:89de7ff0752c default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add JFace snippet Snippet054NativeControlsInViewers, thanks to WasserDragoon
author Frank Benoit <benoit@tionex.de>
date Wed, 29 Apr 2009 11:01:41 +0200
parents 8d6ec2b0357c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
1 /*******************************************************************************
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
2 * Copyright (c) 2000, 2004 IBM Corporation and others.
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
3 * All rights reserved. This program and the accompanying materials
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
4 * are made available under the terms of the Eclipse Public License v1.0
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
5 * which accompanies this distribution, and is available at
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
6 * http://www.eclipse.org/legal/epl-v10.html
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
7 *
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
8 * Contributors:
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
9 * IBM Corporation - initial API and implementation
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
10 * Port to the D programming language:
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
11 * yidabu at gmail dot com ( D China http://www.d-programming-language-china.org/ )
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
12 *******************************************************************************/
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
13
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
14 module styledtext.Snippet217;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
15 /**
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
16 * StyledText snippet: embed controls
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
17 *
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
18 * For a list of all SWT example snippets see
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
19 * http://www.eclipse.org/swt/snippets/
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
20 *
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
21 * @since 3.2
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
22 */
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
23
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
24 import dwt.DWT;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
25 import dwt.custom.StyledText;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
26 import dwt.custom.StyleRange;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
27 import dwt.custom.PaintObjectEvent;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
28 import dwt.custom.PaintObjectListener;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
29 import dwt.layout.GridData;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
30 import dwt.layout.GridLayout;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
31 import dwt.widgets.Display;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
32 import dwt.widgets.Shell;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
33 import dwt.widgets.Control;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
34 import dwt.widgets.Button;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
35 import dwt.widgets.Combo;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
36 import dwt.widgets.Event;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
37 import dwt.widgets.Listener;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
38 import dwt.graphics.FontData;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
39 import dwt.graphics.Font;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
40 import dwt.graphics.Rectangle;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
41 import dwt.graphics.Point;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
42 import dwt.graphics.GC;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
43 import dwt.graphics.Image;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
44 import dwt.graphics.GlyphMetrics;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
45
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
46 import dwt.dwthelper.utils;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
47 version(JIVE){
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
48 import jive.stacktrace;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
49 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
50
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
51 const char[] OBJ_MARKER = "\uFFFC";
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
52 void main() {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
53 static StyledText styledText;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
54 static String text =
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
55 "This snippet shows how to embed widgets in a StyledText.\n"
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
56 "Here is one: " ~ OBJ_MARKER ~ ", and here is another: " ~ OBJ_MARKER ~ ".";
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
57 static int[] offsets;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
58 static Control[] controls;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
59 static int MARGIN = 5;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
60
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
61 void addControl(Control control, int offset) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
62 StyleRange style = new StyleRange ();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
63 style.start = offset;
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
64 style.length = OBJ_MARKER.length;
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
65 control.pack();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
66 Rectangle rect = control.getBounds();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
67 int ascent = 2*rect.height/3;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
68 int descent = rect.height - ascent;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
69 style.metrics = new GlyphMetrics(ascent + MARGIN, descent + MARGIN, rect.width + 2*MARGIN);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
70 styledText.setStyleRange(style);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
71 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
72
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
73
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
74 Display display = new Display();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
75 Font font = new Font(display, "Tahoma", 32f, DWT.NORMAL);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
76 Shell shell = new Shell(display);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
77 shell.setLayout(new GridLayout());
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
78 styledText = new StyledText(shell, DWT.WRAP | DWT.BORDER);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
79 styledText.setFont(font);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
80 styledText.setLayoutData(new GridData(DWT.FILL, DWT.FILL, true, true));
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
81 styledText.setText(text);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
82 controls = new Control[2];
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
83 Button button = new Button(styledText, DWT.PUSH);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
84 button.setText("Button 1");
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
85 controls[0] = button;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
86 Combo combo = new Combo(styledText, DWT.NONE);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
87 combo.add("item 1");
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
88 combo.add("another item");
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
89 controls[1] = combo;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
90 offsets = new int[controls.length];
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
91 int lastOffset = 0;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
92 for (int i = 0; i < controls.length; i++) {
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
93 int offset = text.indexOf( OBJ_MARKER, lastOffset);
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
94 offsets[i] = offset;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
95 addControl(controls[i], offsets[i]);
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
96 lastOffset = offset + OBJ_MARKER.length;
155
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
97 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
98
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
99 void onVerify(Event e) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
100 int start = e.start;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
101 int replaceCharCount = e.end - e.start;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
102 int newCharCount = e.text.length;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
103 for (int i = 0; i < offsets.length; i++) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
104 int offset = offsets[i];
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
105 if (start <= offset && offset < start + replaceCharCount) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
106 // this widget is being deleted from the text
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
107 if (controls[i] !is null && !controls[i].isDisposed()) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
108 controls[i].dispose();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
109 controls[i] = null;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
110 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
111 offset = -1;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
112 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
113 if (offset != -1 && offset >= start) offset += newCharCount - replaceCharCount;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
114 offsets[i] = offset;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
115 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
116 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
117 // use a verify listener to keep the offsets up to date
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
118 styledText.addListener(DWT.Verify, dgListener(&onVerify));
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
119
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
120 // reposition widgets on paint event
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
121 styledText.addPaintObjectListener(new class(offsets) PaintObjectListener {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
122 int[] offsets;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
123 this(int[] offsets_) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
124 this.offsets = offsets_;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
125 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
126 public void paintObject(PaintObjectEvent event) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
127 StyleRange style = event.style;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
128 int start = style.start;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
129 for (int i = 0; i < offsets.length; i++) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
130 int offset = offsets[i];
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
131 if (start == offset) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
132 Point pt = controls[i].getSize();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
133 int x = event.x + MARGIN;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
134 int y = event.y + event.ascent - 2*pt.y/3;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
135 controls[i].setLocation(x, y);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
136 break;
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
137 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
138 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
139 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
140 });
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
141
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
142 shell.setSize(400, 400);
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
143 shell.open();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
144 while (!shell.isDisposed()) {
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
145 if (!display.readAndDispatch())
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
146 display.sleep();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
147 }
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
148 font.dispose();
04d05db6dca4 styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff changeset
149 display.dispose();
157
8d6ec2b0357c Fix: OBJ replace marker in Snippet217
Frank Benoit <benoit@tionex.de>
parents: 155
diff changeset
150 }