Create a mode for untimed nets
Bug #1625959 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Jakob Dyhr |
Bug Description
If the net is untimed, the editor and simulator should not show ages of tokens as 0.0
but instead it should show only dots (up to 5 and after this it should be as #6 etc).
Related branches
lp:~tapaal-contributor/tapaal/token-dots-fix-1625959
- Jiri Srba: Approve
-
Diff: 373 lines (+171/-60)5 files modifiedsrc/net/tapaal/Preferences.java (+8/-0)
src/pipe/gui/CreateGui.java (+10/-1)
src/pipe/gui/GuiFrame.java (+26/-3)
src/pipe/gui/graphicElements/Place.java (+10/-2)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+117/-54)
Changed in tapaal: | |
assignee: | nobody → Jakob Dyhr (jdyhr12) |
Changed in tapaal: | |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.