Limit continous update - Githubissues

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser

http://gleachkr.github.io/Carnap/

GNU General Public License v3.0

3 stars 0 forks source link

Limit continous update #30

Open gleachkr opened 9 years ago

gleachkr commented 9 years ago

It'd be good to be able to limit the continuous update of the derivation column and the result box.

For the derivation column, we'd like

[ ] update on click
[X] no update

for the result box, we'd like

[ ] update on click
[X] no update
[X] light up only when a predefined sequent is proven

gleachkr commented 9 years ago

You can now pass in various "settings" to the event-watcher, including what HTML elements are going to serve as a derivation column and result box. If you set these to "Nothing", then it won't continuously update. It should be not too hard to add more settings that also implement the update on click behavior.