PlatformProbe class

Public functions

void OnEvent(Platform& platform, const PlatformEvent& e)
Feed every event that is not for the main window.
void Flush(Platform& platform)
Once per pump: updates the title (at most 20 times a second).