1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
/*******************************************************************************
* Copyright (c) 2000, 2016 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.swt.snippets;
import org.eclipse.swt.*;
import org.eclipse.swt.custom.*;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.layout.*;
import org.eclipse.swt.widgets.*;
/**
* StyledText snippet: embed controls
*
* For a list of all SWT example snippets see
* http://www.eclipse.org/swt/snippets/
*
* @since 3.2
*/
public class Snippet217 {
static StyledText styledText;
static String text =
"This snippet shows how to embed widgets in a StyledText.\n"+
"Here is one: \uFFFC, and here is another: \uFFFC.";
static int MARGIN = 5;
static void addControl(Control control, int offset) {
StyleRange style = new StyleRange ();
style.start = offset;
style.length = 1;
style.data = control;
control.pack();
Rectangle rect = control.getBounds();
int ascent = 2*rect.height/3;
int descent = rect.height - ascent;
style.metrics = new GlyphMetrics(ascent + MARGIN, descent + MARGIN, rect.width + 2*MARGIN);
styledText.setStyleRange(style);
}
public static void main(String [] args) {
final Display display = new Display();
Font font = new Font(display, "Tahoma", 16, SWT.NORMAL);
final Shell shell = new Shell(display);
shell.setLayout(new GridLayout());
styledText = new StyledText(shell, SWT.WRAP | SWT.BORDER);
styledText.setFont(font);
styledText.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
styledText.setText(text);
Button button = new Button(styledText, SWT.PUSH);
button.setText("Button 1");
int offset = text.indexOf('\uFFFC');
addControl(button, offset);
button.setLocation(styledText.getLocationAtOffset(offset));
Combo combo = new Combo(styledText, SWT.NONE);
combo.add("item 1");
combo.add("another item");
combo.setText(combo.getItem(0));
offset = text.indexOf('\uFFFC', offset + 1);
addControl(combo, offset);
combo.setLocation(styledText.getLocationAtOffset(offset));
// use a verify listener to dispose the controls
styledText.addVerifyListener(event -> {
if (event.start == event.end) return;
String text = styledText.getText(event.start, event.end - 1);
int index = text.indexOf('\uFFFC');
while (index != -1) {
StyleRange style = styledText.getStyleRangeAtOffset(event.start + index);
if (style != null) {
Control control = (Control)style.data;
if (control != null) control.dispose();
}
index = text.indexOf('\uFFFC', index + 1);
}
});
// reposition widgets on paint event
styledText.addPaintObjectListener(event -> {
Control control = (Control)event.style.data;
Point pt = control.getSize();
int x = event.x + MARGIN;
int y = event.y + event.ascent - 2*pt.y/3;
control.setLocation(x, y);
});
shell.setSize(400, 400);
shell.open();
while (!shell.isDisposed()) {
if (!display.readAndDispatch())
display.sleep();
}
font.dispose();
display.dispose();
}
}
|
