blob: 44ad664f344ace5e9daaf07da59edb6d38290b6d (
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
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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
|
/**
* Copyright (c) 2012 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:
* Alban Ménager (Soft-Maint) - Bug 387470 - [EFacet][Custom] Editors
*/
package org.eclipse.papyrus.emf.facet.util.ui.internal.widget.metaclass;
import org.eclipse.papyrus.emf.facet.util.ui.internal.Messages;
import org.eclipse.papyrus.emf.facet.util.ui.internal.exported.util.widget.AbstractWidget;
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.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 FilteredElementSelectionWidget extends
AbstractWidget {
private static final String MATCH_PREFIX = "*"; //$NON-NLS-1$
private static final int FILTER_WIDTH_HINT = 350;
private Text filterText;
private FilteredList fFilteredList;
private final Object[] elements;
private static final boolean MULTISELECTION = false;
public FilteredElementSelectionWidget(final Composite parent,
final Object[] elements) {
super(parent);
this.elements = elements.clone();
final GridData gridData = new GridData(SWT.FILL);
gridData.widthHint = FILTER_WIDTH_HINT;
setLayoutData(gridData);
}
public void setElements(final Object[] elements) {
this.fFilteredList.setElements(elements);
}
private void createFilteredList(final Composite parent) {
int multi;
if (MULTISELECTION) {
multi = SWT.MULTI;
} else {
multi = SWT.SINGLE;
}
this.fFilteredList = 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;
this.fFilteredList.setLayoutData(data);
this.fFilteredList.setFilter(""); //$NON-NLS-1$
this.fFilteredList.setElements(this.elements);
}
private void createFilterText(final Composite parent) {
this.filterText = new Text(parent, SWT.BORDER);
this.filterText
.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;
this.filterText.setLayoutData(data);
this.filterText.addModifyListener(new ModifyListener() {
public void modifyText(final ModifyEvent event) {
getfFilteredList().setFilter(
MATCH_PREFIX + getFilterText().getText());
}
});
this.filterText.addKeyListener(new KeyListener() {
public void keyPressed(final KeyEvent event) {
if (event.keyCode == SWT.ARROW_DOWN) {
getfFilteredList().setFocus();
}
}
public void keyReleased(final KeyEvent event) {
// nothing
}
});
}
public Object getFirstSelectedElement() {
Object result = null;
final Object[] selection = this.fFilteredList.getSelection();
if (selection.length > 0) {
result = selection[0];
}
return result;
}
public Object[] getSelectedElements() {
Object[] result = null;
final Object[] selection = this.fFilteredList.getSelection();
if (selection.length != 0) {
result = selection;
}
return result;
}
public FilteredList getFilteredList() {
return this.fFilteredList;
}
public Text getFilterText() {
return this.filterText;
}
protected FilteredList getfFilteredList() {
return this.fFilteredList;
}
@Override
protected void addSubWidgets() {
createFilterText(this);
createFilteredList(this);
}
@Override
public String getError() {
return null;
}
@Override
public void notifyChanged() {
// No action has to be done if a change appends.
}
}
|
