curt 77572d53d4 Added an enable/disable mouse pointer option in case the autodetection ... fails.		1998-07-06 21:31:57 +00:00
..
gui.cxx	Added an enable/disable mouse pointer option in case the autodetection	1998-07-06 21:31:57 +00:00
gui.h	Pui -> PUI, Gui -> GUI.	1998-06-12 14:27:25 +00:00
Makefile.am	Pui -> PUI, Gui -> GUI.	1998-06-12 14:27:25 +00:00