lp:~tapaal-contributor/tapaal/Typos-1896460

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1104

Jiri Srba: Approve on 2020-09-23

Diff: 42 lines (+6/-6)

1 file modified

src/pipe/gui/widgets/QueryDialog.java (+6/-6)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1896460: There is a typo in the AF tooltip dialogue. (maxiaml)

Undecided

Fix Released

Link a bug report

Related blueprints

1103. By Peter Haahr Taankvist on 2020-09-22

Fix some typos in QueryDialog

1102. By Jiri Srba on 2020-09-16

merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected

1101. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected

1100. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces

1099. By Jiri Srba on 2020-09-12

upgraded icon to 3.7

1098. By <email address hidden> on 2020-09-11

updated minimum version of verifypn to 3.1.0

1097. By Jiri Srba <email address hidden> on 2020-09-10

increased the minimum version of verifydtapn to 3.4.0

1096. By Jiri Srba <email address hidden> on 2020-09-10

merged in lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown fixing a problem with iinvisible weights when constant was used

1095. By Jiri Srba <email address hidden> on 2020-09-10

merged in lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog fixing NPE when for opening arc dialog

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