21 if (!_pointers.empty()) {
35 InputDevice::update_pointer(std::move(data), time);
45 InputDevice::pointer_moved(0, x, y, time);
55 InputDevice::remove_pointer(
id);
Similar to MutexHolder, but for a light mutex.
Holds the data that might be generated by a 2-d pointer input device, such as the mouse in the Graphi...