XkbGetStickyKeysOptions(3) on Linux
The text 8e87c5657dff, as Debian 10 (Buster) shipped it.
Queries the current StickyKeys attributes for a keyboard device
The text 8e87c5657dff, as Debian 10 (Buster) shipped it.
Queries the current StickyKeys attributes for a keyboard device