// TODO: Only return the string if command responder worked as expected.
return string;
*/
//- 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;