If one of the edit tools Crop or Red Eye Reduction is active,
zooming by Middle-Click or Ctrl+Left/Right-Click
does not work.
This patch ignores mouse press events not used by the edit tools
itself and thereupon they are propagated to the image view.
FIXED-IN: 18.08.0