Mercurial > projects > dwt-samples
annotate snippets/styledtext/Snippet217.d @ 155:04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
author | yidabu <yidabu@gmail.com> |
---|---|
date | Fri, 22 Aug 2008 07:27:56 +0800 |
parents | |
children | 8d6ec2b0357c |
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 |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
51 void main() { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
52 static StyledText styledText; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
53 static String text = |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
54 "This snippet shows how to embed widgets in a StyledText.\n" |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
55 "Here is one: \uFFFC, and here is another: \uFFFC."; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
56 static int[] offsets; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
57 static Control[] controls; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
58 static int MARGIN = 5; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
59 |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
60 void addControl(Control control, int offset) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
61 StyleRange style = new StyleRange (); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
62 style.start = offset; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
63 style.length = 1; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
64 control.pack(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
65 Rectangle rect = control.getBounds(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
66 int ascent = 2*rect.height/3; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
67 int descent = rect.height - ascent; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
68 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
|
69 styledText.setStyleRange(style); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
70 } |
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 Display display = new Display(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
74 Font font = new Font(display, "Tahoma", 32f, DWT.NORMAL); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
75 Shell shell = new Shell(display); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
76 shell.setLayout(new GridLayout()); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
77 styledText = new StyledText(shell, DWT.WRAP | DWT.BORDER); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
78 styledText.setFont(font); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
79 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
|
80 styledText.setText(text); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
81 controls = new Control[2]; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
82 Button button = new Button(styledText, DWT.PUSH); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
83 button.setText("Button 1"); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
84 controls[0] = button; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
85 Combo combo = new Combo(styledText, DWT.NONE); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
86 combo.add("item 1"); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
87 combo.add("another item"); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
88 controls[1] = combo; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
89 offsets = new int[controls.length]; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
90 int lastOffset = 0; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
91 for (int i = 0; i < controls.length; i++) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
92 int offset = text.indexOf("\uFFFC", lastOffset); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
93 offsets[i] = offset; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
94 addControl(controls[i], offsets[i]); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
95 lastOffset = offset + 1; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
96 } |
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 void onVerify(Event e) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
99 int start = e.start; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
100 int replaceCharCount = e.end - e.start; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
101 int newCharCount = e.text.length; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
102 for (int i = 0; i < offsets.length; i++) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
103 int offset = offsets[i]; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
104 if (start <= offset && offset < start + replaceCharCount) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
105 // this widget is being deleted from the text |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
106 if (controls[i] !is null && !controls[i].isDisposed()) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
107 controls[i].dispose(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
108 controls[i] = null; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
109 } |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
110 offset = -1; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
111 } |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
112 if (offset != -1 && offset >= start) offset += newCharCount - replaceCharCount; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
113 offsets[i] = offset; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
114 } |
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 // 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
|
117 styledText.addListener(DWT.Verify, dgListener(&onVerify)); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
118 |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
119 // reposition widgets on paint event |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
120 styledText.addPaintObjectListener(new class(offsets) PaintObjectListener { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
121 int[] offsets; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
122 this(int[] offsets_) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
123 this.offsets = offsets_; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
124 } |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
125 public void paintObject(PaintObjectEvent event) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
126 StyleRange style = event.style; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
127 int start = style.start; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
128 for (int i = 0; i < offsets.length; i++) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
129 int offset = offsets[i]; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
130 if (start == offset) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
131 Point pt = controls[i].getSize(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
132 int x = event.x + MARGIN; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
133 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
|
134 controls[i].setLocation(x, y); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
135 break; |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
136 } |
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 shell.setSize(400, 400); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
142 shell.open(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
143 while (!shell.isDisposed()) { |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
144 if (!display.readAndDispatch()) |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
145 display.sleep(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
146 } |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
147 font.dispose(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
148 display.dispose(); |
04d05db6dca4
styledtext: Snippet211, Snippet213, Snippet217, Snippet218, Snippet222, Snippet244
yidabu <yidabu@gmail.com>
parents:
diff
changeset
|
149 } |