AWTInputAdapter.destroy() now destroys the Keyboard and Mouse to mimic the behaviour of Display.destroy() more closely.
Authored by: elias_naur 2006-11-19
Parent: [r2662]
Child: [r2664]