From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 10 Sep 1997 14:09:11 -0400
From: rob@plan9.bell-labs.com rob@plan9.bell-labs.com
Subject: [9fans] Arrow keys
Topicbox-Message-UUID: 62a8c978-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19970910180911.SJcELg4rRGBsh9eObND54m1_Q0dHrAJF-8ijRtC3T-8@z>

Turning the mouse off during quiet times is an old idea.
One design is to turn it off when a key is struck, and turn
it on again when the mouse is touched.

-rob