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.
tuned;
authorwenzelm
Mon, 28 Apr 2014 14:19:14 +0200
changeset 56769 8649243d7e91
parent 56768 06388a5cfb7c
child 56770 e160ae47db94
tuned;
src/Tools/jEdit/src/symbols_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/symbols_dockable.scala	Mon Apr 28 12:56:54 2014 +0200
+++ b/src/Tools/jEdit/src/symbols_dockable.scala	Mon Apr 28 14:19:14 2014 +0200
@@ -69,7 +69,7 @@
   
         val search_space =
           (for (sym <- Symbol.names.keysIterator) yield (sym, Word.lowercase(sym))).toList
-        val delay_search =
+        val search_delay =
           Swing_Thread.delay_last(PIDE.options.seconds("editor_input_delay")) {
             val search_words = Word.explode(Word.lowercase(search_field.text))
             val search_limit = PIDE.options.int("jedit_symbols_search_limit") max 0
@@ -85,7 +85,7 @@
             revalidate
             repaint
           }
-          search_field.reactions += { case ValueChanged(_) => delay_search.invoke() }
+          search_field.reactions += { case ValueChanged(_) => search_delay.invoke() }
       }, "Search Symbols")
     pages += search_page
isabelle