changeset 52710 | 52790e3961fe |
parent 52702 | c503730efae5 |
child 52714 | a4e4802753b9 |
--- a/etc/options Fri Jul 19 17:35:12 2013 +0200 +++ b/etc/options Fri Jul 19 17:58:57 2013 +0200 @@ -102,9 +102,6 @@ section "Editor Reactivity" -public option editor_skip_proofs : bool = false - -- "skip over proofs (implicit 'sorry')" - public option editor_load_delay : real = 0.5 -- "delay for file load operations (new buffers etc.)"