| 162 |
162 |
|
| 163 |
163 |
|
| 164 |
164 |
this.index = (Index) this.getResult();
|
| 165 |
|
|
| 166 |
165 |
|
| 167 |
166 |
// Computing listeners
|
| 168 |
167 |
ComputeSelectionListener computeSelectionListener = new ComputeSelectionListener(this);
|
| ... | ... | |
| 190 |
189 |
queryArea.setLayout(new GridLayout(4, false));
|
| 191 |
190 |
|
| 192 |
191 |
// | Query: [ (v)] [Search] |
|
|
192 |
|
| 193 |
193 |
// Query:
|
| 194 |
|
queryLabel = new Label(queryArea, SWT.NONE);
|
|
194 |
getMinimalParametersComposite().getLayout().numColumns = 3;
|
|
195 |
// make the zone expandable to display the longest query field
|
|
196 |
getMinimalParametersComposite().setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, false));
|
|
197 |
|
|
198 |
// Query:
|
|
199 |
queryLabel = new Label(getMinimalParametersComposite(), SWT.NONE);
|
| 195 |
200 |
queryLabel.setText(TXMCoreMessages.common_query);
|
| 196 |
201 |
queryLabel.setLayoutData(new GridData(SWT.RIGHT, SWT.CENTER, false, true));
|
| 197 |
202 |
|
| 198 |
203 |
// [ (v)]
|
| 199 |
|
queryWidget = new AssistedQueryWidget(queryArea, SWT.DROP_DOWN, index.getCorpus());
|
|
204 |
queryWidget = new AssistedQueryWidget(getMinimalParametersComposite(), SWT.DROP_DOWN, index.getCorpus());
|
| 200 |
205 |
GridData layoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER);
|
| 201 |
206 |
layoutData.horizontalAlignment = GridData.FILL;
|
| 202 |
207 |
layoutData.grabExcessHorizontalSpace = true;
|
| ... | ... | |
| 205 |
210 |
|
| 206 |
211 |
|
| 207 |
212 |
// Word properties selector
|
| 208 |
|
propertiesSelector = new PropertiesSelector<WordProperty>(queryArea, SWT.NONE);
|
|
213 |
propertiesSelector = new PropertiesSelector<WordProperty>(getMinimalParametersComposite(), SWT.NONE);
|
| 209 |
214 |
propertiesSelector.setLayoutData(new GridData(GridData.FILL, GridData.FILL, false, false));
|
| 210 |
215 |
propertiesSelector.setLayout(new GridLayout(3, false));
|
| 211 |
216 |
try {
|