Reference

XGetDeviceFocus(3x) on Linux

The text 9c085460082c, as Debian 1.2 (Rex) shipped it.

control extension input device focus

XGetDeviceFocus(3x) on Linux now