Resizing in Simulator for Untimed Queries
Bug #928931 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Jakob Taankvist |
Bug Description
The Panel resizing (in fireAble transition branch) for untimed traces produced by verification of liveness properties does not work (the trace does not resize). Also on Mac OS X there seem to be too many borders of frames, this could be reduced too.
Related branches
lp:~tapaal-contributor/tapaal/fireableTransitions
- Kenneth Yrke Jørgensen: Approve (code review)
- Jiri Srba: Approve
-
Diff: 719 lines (+399/-35)9 files modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+1/-0)
src/dk/aau/cs/gui/TabContent.java (+97/-31)
src/dk/aau/cs/gui/TemplateExplorer.java (+1/-1)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+189/-0)
src/pipe/gui/Animator.java (+85/-2)
src/pipe/gui/CreateGui.java (+7/-0)
src/pipe/gui/GuiFrame.java (+17/-1)
src/pipe/gui/widgets/ConstantsPane.java (+1/-0)
src/pipe/gui/widgets/QueryPane.java (+1/-0)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.