Révision 1010
| tmp/org.txm.core/src/java/org/txm/Toolbox.java (revision 1010) | ||
|---|---|---|
| 508 | 508 |
// FIXME: other tmp solution |
| 509 | 509 |
TXMResult.deleteAllNonPersistentResults(); |
| 510 | 510 |
|
| 511 |
|
|
| 512 | 511 |
if(Toolbox.workspace != null) {
|
| 513 | 512 |
Toolbox.workspace.save(); |
| 514 | 513 |
} |
Formats disponibles : Unified diff