• Noah Friedman's avatar
    (type-break): perform autosave. · ad953485
    Noah Friedman authored
    Suggested by Stephen Gildea <gildea@intouchsys.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.
ChangeLog 519 KB