src/KeyboardPrefixSelectionMixin.js
function setPrefixTimeout(element) {
  resetPrefixTimeout(element);
  element[prefixTimeoutKey] = setTimeout(() => {
    resetTypedPrefix(element);
  }, TYPING_TIMEOUT_DURATION);
}
function setPrefixTimeout(element) {
  resetPrefixTimeout(element);
  element[prefixTimeoutKey] = setTimeout(() => {
    resetTypedPrefix(element);
  }, TYPING_TIMEOUT_DURATION);
}
function setPrefixTimeout ( element ) { resetPrefixTimeout ( element ) ; element [ prefixTimeoutKey ] = setTimeout ( ( ) => { resetTypedPrefix ( element ) ; } , TYPING_TIMEOUT_DURATION ) ; }
Wait for the user to stop typing.
Wait for the user to stop typing .