Révision 3848
| TXM/trunk/bundles/org.txm.properties.rcp/src/org/txm/properties/rcp/messages/PropertiesUIMessages.java (revision 3848) | ||
|---|---|---|
| 34 | 34 |
|
| 35 | 35 |
public static String Documentation; |
| 36 | 36 |
|
| 37 |
public static String History; |
|
| 38 |
|
|
| 39 |
public static String HistorySaved; |
|
| 40 |
|
|
| 41 |
public static String SaveTheHistoryContent; |
|
| 42 |
|
|
| 37 | 43 |
public static String ShowTheStartPage; |
| 38 | 44 |
|
| 39 | 45 |
|
| TXM/trunk/bundles/org.txm.properties.rcp/src/org/txm/properties/rcp/messages/messages.properties (revision 3848) | ||
|---|---|---|
| 7 | 7 |
displayedNameColon=Displayed name\: |
| 8 | 8 |
Documentation=Documentation |
| 9 | 9 |
editProperties=edit properties |
| 10 |
History=History |
|
| 11 |
HistorySaved=History saved. |
|
| 10 | 12 |
maximumValuesToDisplay=Maximum number of values to display |
| 13 |
SaveTheHistoryContent=Save the history content |
|
| 11 | 14 |
ShowTheStartPage=Show start page |
| 12 | 15 |
theMaximumNumberOfWordPropertyValuesToShow=The maximum number of word property values to show |
| 13 | 16 |
vMax=V max |
| TXM/trunk/bundles/org.txm.properties.rcp/src/org/txm/properties/rcp/editors/PropertiesGeneralTab.java (revision 3848) | ||
|---|---|---|
| 180 | 180 |
if (editor.getResult().getParent() instanceof CorpusBuild || editor.getResult().getParent() instanceof Project) {
|
| 181 | 181 |
l = new Label(parent, SWT.NONE); |
| 182 | 182 |
l.setLayoutData(new GridData(GridData.BEGINNING, GridData.BEGINNING, false, false)); |
| 183 |
l.setText("History");
|
|
| 183 |
l.setText(PropertiesUIMessages.History);
|
|
| 184 | 184 |
|
| 185 | 185 |
historyText = new Text(parent, SWT.H_SCROLL | SWT.V_SCROLL); |
| 186 | 186 |
historyText.setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, true, 1, 1)); |
| ... | ... | |
| 197 | 197 |
|
| 198 | 198 |
Button saveHistoryButton = new Button(parent, SWT.PUSH); |
| 199 | 199 |
saveHistoryButton.setLayoutData(new GridData(GridData.BEGINNING, GridData.BEGINNING, false, false)); |
| 200 |
saveHistoryButton.setText("Save the history content");
|
|
| 200 |
saveHistoryButton.setText(PropertiesUIMessages.SaveTheHistoryContent);
|
|
| 201 | 201 |
saveHistoryButton.addSelectionListener(new SelectionListener() {
|
| 202 | 202 |
|
| 203 | 203 |
@Override |
| 204 | 204 |
public void widgetSelected(SelectionEvent e) {
|
| 205 | 205 |
editor.getResult().getProject().writeHistory(historyText.getText()); |
| 206 |
Log.info("History saved.");
|
|
| 206 |
Log.info(PropertiesUIMessages.HistorySaved);
|
|
| 207 | 207 |
} |
| 208 | 208 |
|
| 209 | 209 |
@Override |
Formats disponibles : Unified diff