Révision 1926
| tmp/org.txm.properties.rcp/src/org/txm/properties/rcp/editors/PropertiesEditor.java (revision 1926) | ||
|---|---|---|
| 27 | 27 |
import org.txm.rcp.editors.TXMEditor; |
| 28 | 28 |
import org.txm.rcp.editors.listeners.ComputeSelectionListener; |
| 29 | 29 |
import org.txm.rcp.swt.GLComposite; |
| 30 |
import org.txm.rcp.swt.widget.LabeledSpinner; |
|
| 30 | 31 |
import org.txm.rcp.views.corpora.CorporaView; |
| 31 | 32 |
import org.txm.utils.logger.Log; |
| 32 | 33 |
|
| ... | ... | |
| 65 | 66 |
Composite extendedParametersArea = this.getExtendedParametersGroup(); |
| 66 | 67 |
// ((GridLayout)extendedParametersArea.getLayout()).numColumns = 2; |
| 67 | 68 |
|
| 68 |
// label |
|
| 69 |
Label vMaxLabel = new Label(extendedParametersArea, SWT.NONE); |
|
| 70 |
//vMaxLabel.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false)); |
|
| 71 |
vMaxLabel.setText(PropertiesUIMessages.vMax); |
|
| 72 |
|
|
| 73 |
// spinner |
|
| 74 |
this.maxPropertiesToDisplay = new Spinner(extendedParametersArea, SWT.BORDER); |
|
| 69 |
|
|
| 70 |
|
|
| 71 |
LabeledSpinner fMax = new LabeledSpinner(extendedParametersArea, this, PropertiesUIMessages.vMax); |
|
| 72 |
this.maxPropertiesToDisplay = fMax.getSpinner(); |
|
| 75 | 73 |
this.maxPropertiesToDisplay.setToolTipText(PropertiesUIMessages.theMaximumNumberOfWordPropertyValuesToShow); |
| 76 | 74 |
this.maxPropertiesToDisplay.setMinimum(0); |
| 77 | 75 |
this.maxPropertiesToDisplay.setMaximum(1000); |
| 78 |
|
|
| 79 | 76 |
|
| 80 |
RowData data = new RowData(); |
|
| 81 |
data.width = 100; |
|
| 82 |
this.maxPropertiesToDisplay.setLayoutData(data); |
|
| 83 | 77 |
|
| 84 |
this.maxPropertiesToDisplay.addSelectionListener(new ComputeSelectionListener(this)); |
|
| 78 |
// // label |
|
| 79 |
// Label vMaxLabel = new Label(extendedParametersArea, SWT.NONE); |
|
| 80 |
// //vMaxLabel.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, false, false)); |
|
| 81 |
// vMaxLabel.setText(PropertiesUIMessages.vMax); |
|
| 82 |
// |
|
| 83 |
// // spinner |
|
| 84 |
// this.maxPropertiesToDisplay = new Spinner(extendedParametersArea, SWT.BORDER); |
|
| 85 |
// this.maxPropertiesToDisplay.setToolTipText(PropertiesUIMessages.theMaximumNumberOfWordPropertyValuesToShow); |
|
| 86 |
// this.maxPropertiesToDisplay.setMinimum(0); |
|
| 87 |
// this.maxPropertiesToDisplay.setMaximum(1000); |
|
| 88 |
// |
|
| 89 |
// |
|
| 90 |
// RowData data = new RowData(); |
|
| 91 |
// data.width = 100; |
|
| 92 |
// this.maxPropertiesToDisplay.setLayoutData(data); |
|
| 93 |
// |
|
| 94 |
// this.maxPropertiesToDisplay.addSelectionListener(new ComputeSelectionListener(this)); |
|
| 85 | 95 |
|
| 86 | 96 |
// Group editComposite = this.getTopToolbar().installGroup(PropertiesUIMessages.corpusProperties, PropertiesUIMessages.corpusProperties, IImageKeys.PENCIL, null, false); |
| 87 | 97 |
// editComposite.setLayout(GLComposite.createDefaultLayout(3)); |
Formats disponibles : Unified diff