| 1395 | } |
| 1396 | |
| 1397 | void OnMouseLoop() override |
| 1398 | { |
| 1399 | if (_left_button_down || !this->gui_scale_changed) return; |
| 1400 | |
| 1401 | this->gui_scale_changed = false; |
| 1402 | _gui_scale_cfg = this->gui_scale; |
| 1403 | |
| 1404 | if (AdjustGUIZoom(false)) { |
| 1405 | ReInitAllWindows(true); |
| 1406 | this->SetWidgetLoweredState(WID_GO_GUI_SCALE_AUTO, false); |
| 1407 | this->SetDirty(); |
| 1408 | } |
| 1409 | } |
| 1410 | |
| 1411 | void OnDropdownSelect(WidgetID widget, int index, int) override |
| 1412 | { |
nothing calls this directly
no test coverage detected