lp:~tapaal-contributor/tapaal/annotation-note-close-1849639

Branch merges

Merged into lp:tapaal at revision 1029

Jiri Srba: Approve on 2019-11-19

Diff: 26 lines (+9/-0)

1 file modified

src/pipe/gui/graphicElements/AnnotationNote.java (+9/-0)

api

Propose for merging

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1849639: Pressing 'x' when making annotation note does not remove note

Undecided

Fix Committed

Link a bug report

Related blueprints

1028. By Peter Taankvist <email address hidden> on 2019-11-14

Closing annotation window with X now works as cancel

1027. By Jiri Srba <email address hidden> on 2019-11-12

merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format

1026. By Jiri Srba <email address hidden> on 2019-11-01

merged in lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 fixing undo when drawing an arc

1025. By Jiri Srba <email address hidden> on 2019-11-01

merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so that annotations do not hide any labels

1024. By Jiri Srba <email address hidden> on 2019-10-31

merged in lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 fixing behaviour of simple workspace

1023. By Jiri Srba <email address hidden> on 2019-10-31

merged in lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782 fixing position of labels when zooming

1022. By Jiri Srba <email address hidden> on 2019-10-31

merged in lp:~tapaal-contributor/tapaal/cursor-animation-mode-1849783 fixing cursor arrow in annimation mode

1021. By Jiri Srba <email address hidden> on 2019-10-31

merged in lp:~tapaal-contributor/tapaal/undo-shared-place-transition-1848948 fixing undo for shared places

1020. By Jiri Srba <email address hidden> on 2019-10-31

merged in lp:~tapaal-contributor/tapaal/fix-1848946-annotation-undo-redo fixing notes resizing on undo

1019. By <email address hidden> on 2019-10-16

added 3.6. launch4j configuration