blob: d55f05b8392f81b7b64d7a61e2e70fd5191e7fa1 (
plain) (
blame)
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
|
package org.eclipse.swt.examples.controls;
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved
*/
import org.eclipse.swt.*;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.widgets.*;
import org.eclipse.swt.layout.*;
import org.eclipse.swt.events.*;
class ListTab extends ScrollableTab {
/* Example widgets and groups that contain them */
List list1;
Group listGroup;
static String [] ListData1 = {ControlPlugin.getResourceString("ListData1_0"),
ControlPlugin.getResourceString("ListData1_1"),
ControlPlugin.getResourceString("ListData1_2"),
ControlPlugin.getResourceString("ListData1_3"),
ControlPlugin.getResourceString("ListData1_4"),
ControlPlugin.getResourceString("ListData1_5"),
ControlPlugin.getResourceString("ListData1_6"),
ControlPlugin.getResourceString("ListData1_7"),
ControlPlugin.getResourceString("ListData1_8")};
/**
* Creates the "Example" group.
*/
void createExampleGroup () {
super.createExampleGroup ();
/* Create a group for the list */
listGroup = new Group (exampleGroup, SWT.NULL);
listGroup.setLayout (new GridLayout ());
listGroup.setLayoutData (new GridData (GridData.GRAB_HORIZONTAL | GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_FILL));
listGroup.setText (ControlPlugin.getResourceString("List"));
}
/**
* Creates the "Example" widgets.
*/
void createExampleWidgets () {
/* Compute the widget style */
int style = SWT.NONE;
if (singleButton.getSelection ()) style |= SWT.SINGLE;
if (multiButton.getSelection ()) style |= SWT.MULTI;
if (horizontalButton.getSelection ()) style |= SWT.H_SCROLL;
if (verticalButton.getSelection ()) style |= SWT.V_SCROLL;
if (borderButton.getSelection ()) style |= SWT.BORDER;
/* Create the example widgets */
list1 = new List (listGroup, style);
list1.setItems (ListData1);
}
/**
* Gets the "Example" widget children.
*/
Control [] getExampleWidgets () {
return new Control [] {list1};
}
/**
* Gets the text for the tab folder item.
*/
String getTabText () {
return ControlPlugin.getResourceString("List");
}
}
|