Viewing all changes in revision 1029.
- Committer: Jiri Srba
- Date: 2019-11-19 14:23:18 UTC
- mfrom: (1027.2.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20191119142318-1fqmronwswcdys3y
merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x
- files modified:
- src/pipe/gui/graphicElements/AnnotationNote.java
expand all
collapse all
added
removed
