Révision 3801

TXM/trunk/bundles/org.txm.core/src/java/org/txm/Toolbox.java (revision 3801)
541 541 
			// save projects parameters
542 542 
			if (Toolbox.workspace != null) {
543 543
544 
				TXMResult.deleteAllNonPersistentResults(Toolbox.workspace);
545
544 546 
				Toolbox.workspace.onWorkspaceClose();
545 547
546 
				TXMResult.deleteAllNonPersistentResults(Toolbox.workspace);
547
548 548 
				Toolbox.workspace.saveParameters(true);
549 549 
			}
550 550

Formats disponibles : Unified diff