next up previous contents
Next: Files Up: User interface Previous: User interface

Cursor

Three different shapes of the cursor are used:



Hans-J. Siegert
Sat Jul 5 19:31:53 MEST 1997