From: Robby Findler (robby at cs.uchicago.edu) Date: Thu Feb 16 08:44:01 EST 2006 |
|
To disable the extra exit warning, you could also just use the preferences dialog. See the "warnings" section. Or, you might have tried reading the manual. Searching for "exit" in Help Desk and following the link into the DrScheme manual sends you to the right place. If you did try searching in Help Desk and couldn't find it, please share the search keys you tried and I will make those work. Thanks, Robby
Posted on the users mailing list. |
|