| 669 | } |
| 670 | |
| 671 | static void CALLBACK Win32TimerCallback(HWND handle, UINT message, UINT_PTR timerID, DWORD timestamp) |
| 672 | { |
| 673 | auto it = Win32Window::Timers.find(timerID); |
| 674 | if (it != Win32Window::Timers.end()) |
| 675 | { |
| 676 | it->second(); |
| 677 | } |
| 678 | } |
| 679 | |
| 680 | void* Win32Window::StartTimer(int timeoutMilliseconds, std::function<void()> onTimer) |
| 681 | { |