Viewing all changes in revision 996.
- Committer: Jiri Srba
- Date: 2019-03-15 19:13:23 UTC
- mfrom: (993.3.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190315191323-pklfas2meqydq05y
merged in branch lp:~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023 fixing zoom update when using ctrl+scroll
- files modified:
- src/pipe/gui/DrawingSurfaceImpl.java
expand all
collapse all
added
removed
