SuccessChanges

Summary

  1. Bug 514634 General Improvement of SymbexUI-Spider (details)
Commit ea1646bce0c564b60a2d32f82c8f13c35b129189 by Arnault Lapitre
Bug 514634 General Improvement of SymbexUI-Spider
[Amend] Comment drawing of spider size for debug purpose Change-Id:
I2cc233875b469be3c849bd1de8d44b07ebacf0b8 Signed-off-by: Arnault Lapitre
<arnault.lapitre@cea.fr>
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/job/console/SymbexSpiderConsolePage.java
The file was modifiedexecution/org.eclipse.efm.execution.core/src/org/eclipse/efm/execution/core/IWorkflowSpiderConfigurationUtils.java
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SEWConsoleSpiderPage.java
The file was modifiededitor/xlia/org.eclipse.efm.formalml.xtext/src/org/eclipse/efm/formalml/xtext/scoping/FormalMLScopeProvider.xtend
The file was modifiedexecution/org.eclipse.efm.execution.launchconfiguration/src/org/eclipse/efm/execution/launchconfiguration/ui/views/page/SWTSpider.java