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