XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  PackKeys  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

                  Packs UserKeys from the Hidden Directory.

After assigning or deleting several user key assignments, the UserKeys list 
from the Hidden Directory contains a lot of reduncancies. One can regain the
wasted memory (even more than 500 bytes) by pressing PackKeys occasionally.
--------------------------------------------------------------------------
 Wolfgang Rautenberg - raut@math.fu-berlin.de - www.math.fu-berlin.de/~raut                

