chiark / gitweb /
dot/e16-bindings: Define a key to highlight the mouse cursor.