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