(self, scaleFactor)
| 120 | super(GraphicsView, self).wheelEvent(event) |
| 121 | |
| 122 | def scaleView(self, scaleFactor): |
| 123 | factor = self.transform().scale( |
| 124 | scaleFactor, scaleFactor).mapRect(QRectF(0, 0, 1, 1)).width() |
| 125 | if factor < 0.07 or factor > 100: |
| 126 | return |
| 127 | self.scale(scaleFactor, scaleFactor) |
| 128 | |
| 129 | def initMap(self): |
| 130 | features = json.load( |