#1628 No scroll bar in Scheduler Event Wizard
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Jenkins Build Server September 25, 2012 at 11:47 AM
Integrated in
ProB_eclipse_develop #415
https://probjira.atlassian.net/browse/PROBPLUGIN-7#icft=PROBPLUGIN-7 : fixed (Revision a45255300e0effd3f2843a6e96d2407879499ec2)
Result = SUCCESS
lukas.ladenberger :
Files :
de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/MachineOperation.java
de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/scheduler/wizard/WizardExecuteOperationByPredicate.java
de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/eventb/EventBHelper.java
Fixed
Details
Details
Assignee
Lukas Ladenberger
Lukas LadenbergerReporter
Philipp Koerner
Philipp KoernerComponents
Priority
MajorCreated April 24, 2012 at 12:07 PM
Updated September 25, 2012 at 11:51 AM
Resolved September 25, 2012 at 11:51 AM
There is no scroll bar in Scheduler Event Wizard (execute operation control) if there are more guards than visible within the window.