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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/*******************************************************************************
* Copyright (c) 2010, 2011 Mia-Software.
* 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:
* Nicolas Bros (Mia-Software) - initial API and implementation
*******************************************************************************/
package org.eclipse.papyrus.emf.facet.efacet.ui.internal.composites;
import org.eclipse.papyrus.emf.facet.efacet.ui.internal.Messages;
import org.eclipse.jface.viewers.LabelProvider;
import org.eclipse.swt.SWT;
import org.eclipse.swt.events.KeyEvent;
import org.eclipse.swt.events.KeyListener;
import org.eclipse.swt.events.ModifyEvent;
import org.eclipse.swt.events.ModifyListener;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Text;
import org.eclipse.ui.dialogs.FilteredList;
/**
* A control for selecting an element from a list of elements, that can be filtered using the
* associated text field.
*/
public class FilteredElementSelectionComposite extends Composite {
private final Text filterText;
private final FilteredList fFilteredList;
public FilteredElementSelectionComposite(final Composite parent, final boolean matchAnywhere, final boolean multiSelection) {
super(parent, SWT.BORDER);
setLayout(new GridLayout());
this.filterText = createFilterText(this);
this.fFilteredList = createFilteredList(this, multiSelection);
final String matchPrefix;
if (matchAnywhere) {
matchPrefix = "*"; //$NON-NLS-1$
} else {
matchPrefix = ""; //$NON-NLS-1$
}
this.filterText.addModifyListener(new ModifyListener() {
public void modifyText(final ModifyEvent e) {
getfFilteredList().setFilter(matchPrefix + getFilterText().getText());
}
});
this.filterText.addKeyListener(new KeyListener() {
public void keyPressed(final KeyEvent e) {
if (e.keyCode == SWT.ARROW_DOWN) {
getfFilteredList().setFocus();
}
}
public void keyReleased(final KeyEvent e) {
// nothing
}
});
}
public void setElements(final Object[] elements) {
this.fFilteredList.setElements(elements);
}
protected static FilteredList createFilteredList(final Composite parent, final boolean multiSelection) {
int multi;
if (multiSelection) {
multi = SWT.MULTI;
} else {
multi = SWT.SINGLE;
}
final FilteredList filteredList = new FilteredList(parent, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL | multi, new LabelProvider(), true,
false, true);
final GridData data = new GridData();
data.grabExcessVerticalSpace = true;
data.grabExcessHorizontalSpace = true;
data.horizontalAlignment = GridData.FILL;
data.verticalAlignment = GridData.FILL;
filteredList.setLayoutData(data);
filteredList.setFilter(""); //$NON-NLS-1$
return filteredList;
}
protected static Text createFilterText(final Composite parent) {
final Text text = new Text(parent, SWT.BORDER);
text.setMessage(Messages.FilteredElementSelectionControl_type_filter_text);
final GridData data = new GridData();
data.grabExcessVerticalSpace = false;
data.grabExcessHorizontalSpace = true;
data.horizontalAlignment = GridData.FILL;
data.verticalAlignment = GridData.BEGINNING;
text.setLayoutData(data);
return text;
}
public Object getFirstSelectedElement() {
final Object[] selection = this.fFilteredList.getSelection();
if (selection.length > 0) {
return selection[0];
}
return null;
}
public Object[] getSelectedElements() {
Object[] selection = this.fFilteredList.getSelection();
if (selection.length == 0) {
return null;
}
return selection;
}
public FilteredList getFilteredList() {
return this.fFilteredList;
}
public Text getFilterText() {
return this.filterText;
}
protected FilteredList getfFilteredList() {
return this.fFilteredList;
}
}
|
