cohrs eab9e5f0a3 gnome does not like ^C ...

This hack simply causes ^C to be ignored completely by the gnome interface.
Gnome really cannot handle interrupts, and the window port interface does
not currently provide a way for the gnome interface to just quit.  Allowing
the gnome interface to prompt would require a complete overhall to the the
way window ports work.

2003-10-21 01:06:05 +00:00

..

dgn_comp.6

…

dgn_comp.txt

…

dlb.6

…

dlb.txt

…

fixes22.0

…

fixes30.0

…

fixes31.1

…

fixes31.2

…

fixes31.3

…

fixes32.0

…

fixes32.1

…

fixes32.2

…

fixes32.3

…

fixes33.0

…

fixes33.1

…

fixes34.0

…

fixes34.1

…

fixes34.2

…

fixes34.3

…

fixes35.0

…

Guidebook.mn

…

Guidebook.tex

…

Guidebook.txt

…

lev_comp.6

…

lev_comp.txt

…

nethack.6

…

nethack.txt

…

recover.6

…

recover.txt

…

tmac.n

…

window.doc

…