6558 """ |
6558 """ |
6559 pinch = evt.gesture(Qt.PinchGesture) |
6559 pinch = evt.gesture(Qt.PinchGesture) |
6560 if pinch: |
6560 if pinch: |
6561 if pinch.state() == Qt.GestureStarted: |
6561 if pinch.state() == Qt.GestureStarted: |
6562 zoom = (self.getZoom() + 10) / 10.0 |
6562 zoom = (self.getZoom() + 10) / 10.0 |
6563 pinch.setScaleFactor(zoom) |
6563 pinch.setTotalScaleFactor(zoom) |
6564 else: |
6564 elif pinch.state() == Qt.GestureUpdated: |
6565 zoom = int(pinch.scaleFactor() * 10) - 10 |
6565 zoom = int(pinch.totalScaleFactor() * 10) - 10 |
6566 if zoom <= -9: |
6566 if zoom <= -9: |
6567 zoom = -9 |
6567 zoom = -9 |
6568 pinch.setScaleFactor(0.1) |
6568 pinch.setTotalScaleFactor(0.1) |
6569 elif zoom >= 20: |
6569 elif zoom >= 20: |
6570 zoom = 20 |
6570 zoom = 20 |
6571 pinch.setScaleFactor(3.0) |
6571 pinch.setTotalScaleFactor(3.0) |
6572 self.zoomTo(zoom) |
6572 self.zoomTo(zoom) |
6573 evt.accept() |
6573 evt.accept() |
6574 |
6574 |
6575 def resizeEvent(self, evt): |
6575 def resizeEvent(self, evt): |
6576 """ |
6576 """ |