| 125 | } |
| 126 | |
| 127 | void OnMouseWheel(int wheel, WidgetID widget) override |
| 128 | { |
| 129 | if (widget != WID_EV_VIEWPORT) return; |
| 130 | if (_settings_client.gui.scrollwheel_scrolling != SWS_OFF) { |
| 131 | ZoomInOrOutToCursorWindow(wheel < 0, this); |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | /** |
| 136 | * Some data on this window has become invalid. |
nothing calls this directly
no test coverage detected