Révision 1506
| tmp/org.txm.properties.core/src/org/txm/properties/core/functions/Properties.java (revision 1506) | ||
|---|---|---|
| 289 | 289 |
|
| 290 | 290 |
if (corpus.getDescription() != null && corpus.getDescription().length() > 0) {
|
| 291 | 291 |
buff.append("<p>" + corpus.getDescription() + "</p>"); //$NON-NLS-1$ //$NON-NLS-2$
|
| 292 |
buff.append(NLS.bind("<p>Created the {0}</p>", TXMResult.PRETTY_TIME_FORMAT.format(this.corpus.getCreationDate())));
|
|
| 293 |
buff.append(NLS.bind("<p>Imported the {0}</p>", TXMResult.PRETTY_TIME_FORMAT.format(this.corpus.getComputeDate())));
|
|
| 292 |
if (this.corpus.getCreationDate() != null) {
|
|
| 293 |
buff.append(NLS.bind("<p>Created the {0}</p>", TXMResult.PRETTY_TIME_FORMAT.format(this.corpus.getCreationDate())));
|
|
| 294 |
} |
|
| 295 |
if (this.corpus.getComputeDate() != null) {
|
|
| 296 |
buff.append(NLS.bind("<p>Imported the {0}</p>", TXMResult.PRETTY_TIME_FORMAT.format(this.corpus.getComputeDate())));
|
|
| 297 |
} |
|
| 294 | 298 |
} |
| 295 | 299 |
|
| 296 | 300 |
buff.append("<h3 style'font-family:\"Arial\";'>" + PropertiesCoreMessages.generalStatistics_2 + "</h3>\n"); //$NON-NLS-1$ //$NON-NLS-2$
|
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/views/corpora/CorporaView.java (revision 1506) | ||
|---|---|---|
| 305 | 305 |
|
| 306 | 306 |
TreeSelection selection = (TreeSelection) treeViewer.getSelection(); |
| 307 | 307 |
Object selectedItem = selection.getFirstElement(); |
| 308 |
|
|
| 309 |
// FIXME: define here what to display |
|
| 310 |
String mess = ((TXMResult)selectedItem).getSimpleDetails(); |
|
| 311 |
if (mess == null) mess = selectedItem.toString(); |
|
| 312 |
StatusLine.setMessage(mess); |
|
| 308 |
if (selectedItem instanceof TXMResult) {
|
|
| 309 |
TXMResult r = ((TXMResult)selectedItem); |
|
| 310 |
if (r.compute()) {
|
|
| 311 |
String mess = r.getSimpleDetails(); |
|
| 312 |
if (mess == null) mess = selectedItem.toString(); |
|
| 313 |
StatusLine.setMessage(mess); |
|
| 314 |
} |
|
| 315 |
} |
|
| 313 | 316 |
} |
| 314 | 317 |
|
| 315 | 318 |
@Override |
| ... | ... | |
| 428 | 431 |
int itemHeight = treeViewer.getTree().getItemHeight(); |
| 429 | 432 |
int imageHeight = trailingImage.getBounds().height; |
| 430 | 433 |
int y = 2+event.y + (itemHeight - imageHeight) / 2; |
| 431 |
|
|
| 434 |
|
|
| 432 | 435 |
event.gc.drawImage(icon_lock, x, y); |
| 433 | 436 |
} |
| 434 | 437 |
} |
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/handlers/export/ExportResult.java (revision 1506) | ||
|---|---|---|
| 128 | 128 |
monitor.beginTask(TXMUIMessages.exporting, 100); |
| 129 | 129 |
|
| 130 | 130 |
if (s instanceof TXMResult) {
|
| 131 |
((TXMResult)s).setCurrentMonitor(this); // Allows Functions to protect themselves from interruption |
|
| 132 |
((TXMResult)s).toTxt(outfile, encoding, colseparator, txtseparator); |
|
| 131 |
TXMResult r = (TXMResult)s; |
|
| 132 |
if (!r.isAltered()) {
|
|
| 133 |
r.compute(this); // refresh result |
|
| 134 |
} |
|
| 135 |
r.setCurrentMonitor(this); // Allows Functions to protect themselves from interruption |
|
| 136 |
r.toTxt(outfile, encoding, colseparator, txtseparator); |
|
| 133 | 137 |
} else {
|
| 134 | 138 |
System.out.println("Exported object is not a TXMResult result");
|
| 135 | 139 |
return Status.CANCEL_STATUS; |
Formats disponibles : Unified diff