Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
afford more reactive input;
authorwenzelm
Wed, 16 Dec 2020 15:44:17 +0100
changeset 72933 fbc1d5ff3683
parent 72932 f7954a960890
child 72934 12baa337aee2
afford more reactive input;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Wed Dec 16 15:39:21 2020 +0100
+++ b/etc/options	Wed Dec 16 15:44:17 2020 +0100
@@ -159,7 +159,7 @@
 public option editor_load_delay : real = 0.5
   -- "delay for file load operations (new buffers etc.)"
 
-public option editor_input_delay : real = 0.3
+public option editor_input_delay : real = 0.2
   -- "delay for user input (text edits, cursor movement etc.)"
 
 public option editor_generated_input_delay : real = 1.0
isabelle