final TextConsole console = (TextConsole) conMgr.createConsole(
"charva",
ConsoleManager.CreateOptions.TEXT |
ConsoleManager.CreateOptions.STACKED |
ConsoleManager.CreateOptions.NO_LINE_EDITTING);
console.addKeyboardListener(new KeyboardAdapter() {
public void keyPressed(KeyboardEvent event) {
if (event.isControlDown() && event.getKeyChar() == 'z') {
System.err.println("got ctrl-z, unregistering Toolkit.");
//maybe this will help to debug the finite-sized text
// area bug.