TAPAAL

Merge lp:~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023 into lp:tapaal

  1. update-zoom-percentage-on-ctrl+scroll-1785023
  2. Merge into trunk
Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 994
Merged at revision: 996
Proposed branch: lp:~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023
Merge into: lp:tapaal
Diff against target: 11 lines (+1/-0)
1 file modified
src/pipe/gui/DrawingSurfaceImpl.java (+1/-0)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+364462@code.launchpad.net

Commit message

Updates the zoom percentage in the top panel correctly when zooming with ctrl + scroll

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'src/pipe/gui/DrawingSurfaceImpl.java'
--- src/pipe/gui/DrawingSurfaceImpl.java 2019-01-27 12:49:43 +0000
+++ src/pipe/gui/DrawingSurfaceImpl.java 2019-03-14 20:43:01 +0000
@@ -624,6 +624,7 @@
624 } else {624 } else {
625 view.zoomOut();625 view.zoomOut();
626 }626 }
627 CreateGui.getAppGui().updateZoomCombo();
627 } else {628 } else {
628 //Dispatch Event to scroll pane to allow scrolling up/down. -- kyrke629 //Dispatch Event to scroll pane to allow scrolling up/down. -- kyrke
629 getParent().dispatchEvent(e);630 getParent().dispatchEvent(e);

Subscribers

People subscribed via source and target branches