diff --git a/b_asic/scheduler_gui/main_window.py b/b_asic/scheduler_gui/main_window.py index f94f80c392f040414806b2ff95123dbe2261b390..9bbe5d5daa8a3351699560fdd7d8ca8b158acbb0 100644 --- a/b_asic/scheduler_gui/main_window.py +++ b/b_asic/scheduler_gui/main_window.py @@ -97,6 +97,7 @@ class MainWindow(QMainWindow, Ui_MainWindow): _debug_rects: QGraphicsItemGroup _splitter_pos: int _splitter_min: int + _zoom: float def __init__(self): """Initialize Scheduler-gui.""" @@ -105,6 +106,7 @@ class MainWindow(QMainWindow, Ui_MainWindow): self._graph = None self._scale = 75.0 self._debug_rects = None + self._zoom = 1.0 self.setupUi(self) self._read_settings() @@ -186,6 +188,13 @@ class MainWindow(QMainWindow, Ui_MainWindow): self._graph._redraw_from_start() # self._printButtonPressed('callback_pushButton()') + def wheelEvent(self, event): + if event.modifiers() == Qt.KeyboardModifier.ControlModifier: + old_zoom = self._zoom + self._zoom += event.angleDelta().y() / 2500 + self.view.scale(self._zoom, self._zoom) + self._zoom = old_zoom + @Slot() def _load_schedule_from_pyfile(self) -> None: """SLOT() for SIGNAL(menu_load_from_file.triggered)