Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/etc/options
changeset 62792 340428bebdb8
parent 61719 318f324d41f5
child 62986 9d2fae6b31cc
equal deleted inserted replaced
62791:64ebecf8646c 62792:340428bebdb8 
    35 
    35 
    36 public option jedit_symbols_search_limit : int = 50
 
    36 public option jedit_symbols_search_limit : int = 50
 
    37   -- "maximum number of symbols in search result"
 
    37   -- "maximum number of symbols in search result"
 
    38 
    38 
    39 public option jedit_timing_threshold : real = 0.1
 
    39 public option jedit_timing_threshold : real = 0.1
 
    40   -- "default threshold for timing display"
 
    40   -- "default threshold for timing display (seconds)"
 
    41 
    41 
    42 
    42 
    43 section "Completion"
 
    43 section "Completion"
 
    44 
    44 
    45 public option jedit_completion : bool = true
 
    45 public option jedit_completion : bool = true
isabelle