changeset 51554 | 041bc3d31f23 |
parent 51553 | 63327f679cff |
child 51564 | bfdc3f720bd6 |
--- a/etc/options Wed Mar 27 16:38:25 2013 +0100 +++ b/etc/options Wed Mar 27 16:46:52 2013 +0100 @@ -83,6 +83,9 @@ section "Editor Reactivity" +option editor_skip_proofs : bool = false + -- "skip over proofs (implicit 'sorry')" + option editor_load_delay : real = 0.5 -- "delay for file load operations (new buffers etc.)"