83 |
83 |
new GridData(SWT.FILL, SWT.FILL, true, true));
|
84 |
84 |
}
|
85 |
85 |
|
86 |
|
public void init(DragSourceListener dragSourceListener, DropTargetListener dropTargetListener,
|
|
86 |
public void init(String label, DragSourceListener dragSourceListener, DropTargetListener dropTargetListener,
|
87 |
87 |
ISelectionChangedListener viewerSelectionChangedListener, IDirtyMarkable dirtyMarkable,
|
88 |
88 |
ModifyListener textModifyListener) {
|
89 |
|
this.init(dragSourceListener, dropTargetListener, viewerSelectionChangedListener, null, dirtyMarkable,
|
|
89 |
this.init(label, dragSourceListener, dropTargetListener, viewerSelectionChangedListener, null, dirtyMarkable,
|
90 |
90 |
textModifyListener);
|
91 |
91 |
}
|
92 |
92 |
public void init(DragSourceListener dragSourceListener, DropTargetListener dropTargetListener,
|
93 |
93 |
ISelectionChangedListener viewerSelectionChangedListener,
|
94 |
94 |
SelectionListener openFeatureTreeSelectionListener,
|
95 |
95 |
ModifyListener textModifyListener) {
|
96 |
|
init(dragSourceListener, dropTargetListener, viewerSelectionChangedListener, openFeatureTreeSelectionListener,
|
|
96 |
init(null, dragSourceListener, dropTargetListener, viewerSelectionChangedListener, openFeatureTreeSelectionListener,
|
97 |
97 |
null, textModifyListener);
|
98 |
98 |
}
|
99 |
|
private void init(DragSourceListener dragSourceListener, DropTargetListener dropTargetListener,
|
|
99 |
private void init(String label, DragSourceListener dragSourceListener,
|
|
100 |
DropTargetListener dropTargetListener,
|
100 |
101 |
ISelectionChangedListener viewerSelectionChangedListener,
|
101 |
102 |
SelectionListener openFeatureTreeSelectionListener, IDirtyMarkable dirtyMarkable,
|
102 |
103 |
ModifyListener textModifyListener) {
|
|
104 |
if(label_title!=null){
|
|
105 |
label_title.setText(label);
|
|
106 |
}
|
|
107 |
|
103 |
108 |
viewer.setContentProvider(new FeatureTreeContentProvider());
|
104 |
109 |
viewer.setLabelProvider(new FeatureTreeLabelProvider());
|
105 |
110 |
|
Change label of feature tree widget for descriptive date set editor