*/
//- Ket.out.println(" --- TEST: Normal command --- ");
//- document.getKeyboardEventHandler().normal(string);
CommandListener cl = document.getCommandListener();
if (cl!=null) {
cl.ketCommand(string);
} else {
Ket.out.println("[no command listener: '"+string+"']");
}
return string;