| 534 | } |
| 535 | |
| 536 | void MainProgram::input_window_scale_callback(const InputManager::WindowScaleCallbackArgs& w) { |
| 537 | g.window_update(); |
| 538 | screen->input_window_scale_callback(w); |
| 539 | post_callback(); |
| 540 | } |
| 541 | |
| 542 | void MainProgram::input_window_mouse_focus_gained() { |
| 543 | #ifndef __ANDROID__ |
no test coverage detected