Automatically ^C after 5 s in :program mode auto-admission

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

Automatically ^C after 5 s in :program mode auto-admission #41

Closed calebegg closed 11 years ago

calebegg commented 12 years ago

Currently, during the automatic :program mode admission, if an expression goes on for a while (such as if the user types a long or infinite calculation in the definitions area) there's no way to regain control (besides explicitly ^Cing). Anything that takes longer than 5s should just be automatically stopped, since it's probably not helpful.

calebegg commented 11 years ago

Changed my mind. UI remains responsive, and now all the user has to do is type something (because of the other bug)