user can now escape from display_credits().
Authored by: SumolX 2007-01-16
Parent: [r462]
Child: [r464]