21 |
21 |
import org.txm.core.results.Parameter;
|
22 |
22 |
import org.txm.properties.core.functions.Properties;
|
23 |
23 |
import org.txm.properties.core.preferences.PropertiesPreferences;
|
|
24 |
import org.txm.properties.rcp.messages.PropertiesUIMessages;
|
24 |
25 |
import org.txm.rcp.editors.TXMEditor;
|
25 |
26 |
import org.txm.rcp.editors.listeners.ComputeSelectionListener;
|
26 |
27 |
import org.txm.rcp.swt.GLComposite;
|
... | ... | |
69 |
70 |
Composite parametersArea = this.getExtendedParametersComposite();
|
70 |
71 |
|
71 |
72 |
// label
|
72 |
|
new Label(parametersArea, SWT.NONE).setText("V max");
|
|
73 |
new Label(parametersArea, SWT.NONE).setText(PropertiesUIMessages.editor_label_v_max);
|
73 |
74 |
|
74 |
75 |
// spinner
|
75 |
76 |
this.maxPropertiesToDisplay = new Spinner(parametersArea, SWT.BORDER);
|
76 |
|
this.maxPropertiesToDisplay.setToolTipText("The maximum number of word property values to show");
|
|
77 |
this.maxPropertiesToDisplay.setToolTipText(PropertiesUIMessages.editor_tooltip_v_max);
|
77 |
78 |
this.maxPropertiesToDisplay.setMinimum(0);
|
78 |
79 |
RowData gdata = new RowData();
|
79 |
80 |
gdata.width = 100;
|
80 |
81 |
this.maxPropertiesToDisplay.setLayoutData(gdata);
|
81 |
82 |
this.maxPropertiesToDisplay.addSelectionListener(new ComputeSelectionListener(this));
|
82 |
83 |
|
83 |
|
Group editComposite = this.getTopToolbar().installGroup("edit properties", "edit properties", null, null, false);
|
|
84 |
Group editComposite = this.getTopToolbar().installGroup(PropertiesUIMessages.editor_composite_edit_properties, PropertiesUIMessages.editor_composite_edit_properties, null, null, false);
|
84 |
85 |
editComposite.setLayout(GLComposite.createDefaultLayout(3));
|
85 |
86 |
|
86 |
87 |
Label nameLabel = new Label(editComposite, SWT.NONE);
|
87 |
|
nameLabel.setText("Displayed name: ");
|
|
88 |
nameLabel.setText(PropertiesUIMessages.editor_label_name);
|
88 |
89 |
|
89 |
90 |
nameText = new Text(editComposite, SWT.BORDER);
|
90 |
91 |
nameText.setLayoutData(new GridData(GridData.FILL, GridData.CENTER, true, false));
|
91 |
92 |
nameSaveButton = new Button(editComposite, SWT.PUSH);
|
92 |
|
nameSaveButton.setText("Apply");
|
|
93 |
nameSaveButton.setText(PropertiesUIMessages.editor_button_apply);
|
93 |
94 |
nameSaveButton.addSelectionListener(new SelectionListener() {
|
94 |
95 |
@Override
|
95 |
96 |
public void widgetSelected(SelectionEvent e) {
|
... | ... | |
105 |
106 |
});
|
106 |
107 |
|
107 |
108 |
Label descLabel = new Label(editComposite, SWT.NONE);
|
108 |
|
descLabel.setText("Description: ");
|
|
109 |
descLabel.setText(PropertiesUIMessages.editor_label_description);
|
109 |
110 |
|
110 |
111 |
descriptionText = new StyledText(editComposite, SWT.BORDER|SWT.V_SCROLL);
|
111 |
112 |
descriptionText.setLayoutData(GridDataFactory.fillDefaults().hint(400, 100).minSize(400, 100).span(1, 2).create());
|
112 |
113 |
descriptionSaveButton = new Button(editComposite, SWT.PUSH);
|
113 |
|
descriptionSaveButton.setText("Apply");
|
|
114 |
descriptionSaveButton.setText(PropertiesUIMessages.editor_button_apply);
|
114 |
115 |
descriptionSaveButton.addSelectionListener(new SelectionListener() {
|
115 |
116 |
@Override
|
116 |
117 |
public void widgetSelected(SelectionEvent e) {
|