(type-break): perform autosave.
Suggested by Stephen Gildea <email@example.com>. (type-break-do-query): Cancel query schedule while performing actual query, to avoid possibility of a second query being made while first one is already in progress. (type-break-time-stamp-format): New variable. (type-break-time-stamp): New function. (type-break-time-warning): Use it. (type-break-keystroke-warning): Use it. (type-break-noninteractive-query): Use it.
Showing with 55 additions and 16 deletions