Highlighting of constants in 3.5.0
Bug #1827039 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen | ||
3.5 |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen | ||
Dev |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
The feature stopped working in 3.5.0.
Related branches
lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight
- Jiri Srba: Approve
-
Diff: 358 lines (+64/-44)9 files modifiedsrc/pipe/gui/graphicElements/Arc.java (+17/-16)
src/pipe/gui/graphicElements/PetriNetObject.java (+12/-1)
src/pipe/gui/graphicElements/Place.java (+2/-2)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+4/-0)
src/pipe/gui/graphicElements/Transition.java (+2/-2)
src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java (+4/-4)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+11/-9)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+2/-2)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+10/-8)
Merged
into
lp:tapaal/dev
- TAPAAL Maintainers: Pending requested
-
Diff: 373 lines (+78/-40) (has conflicts)9 files modifiedsrc/pipe/gui/graphicElements/Arc.java (+21/-15)
src/pipe/gui/graphicElements/PetriNetObject.java (+12/-1)
src/pipe/gui/graphicElements/Place.java (+2/-2)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+4/-0)
src/pipe/gui/graphicElements/Transition.java (+2/-2)
src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java (+4/-4)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+15/-8)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+2/-2)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+16/-6)
Changed in tapaal: | |
status: | Confirmed → 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.