svoid katze_userTyped(S s) { if (sendOpt("Chrome Speech.", "User typed *", s) == null) // No recognizer running - log ourselves logQuoted(speechRecognitionLog(), now() + " [User typed] " + s); });