lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1096

Jiri Srba: Approve on 2020-09-10

Diff: 25 lines (+2/-2)

2 files modified

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1894106: Constant weights on input arcs disappear

Critical

Fix Released

Link a bug report

Related blueprints

1095. By Kenneth Yrke Jørgensen on 2020-09-10

Fixed bug #1894106

It seems the logic for the hightlighting of constants are completly wrong

1094. By Jiri Srba <email address hidden> on 2020-09-03

merged in lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 fixing the loading of game nets with queries

1093. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/enable-AF-game enabeling AF for games

1092. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/refactor-remove-queries removing queires in a unified way by calling the engine options

1091. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/autodetect-lens-check2 doing autodetection of net type in case it does not have any lens information

1090. By Jiri Srba <email address hidden> on 2020-08-25

merged in lp:~tapaal-contributor/tapaal/merge-query-dialogs that makes a joint reachability and CTL dialog and uses the lens to offer the correct engines

1089. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/memoryMonitor-nullpointer fixing NPE for memory monitor

1088. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory fixing problem with clickin on history

1087. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891456-clickingTransportArcs fixing double click on transport arc that didn't open any dialog

1086. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions