It turns out that industrial push buttons have standardized components ... one-button screen lock on a Linux box running a virtual machine at his place of work. It first disengages the keyboard ...