greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Some total-time stuff

Browse Source
This commit is contained in:
greg 2019-05-21 02:52:26 -07:00
parent eb2adb5b79
commit 5cdc2f3d07
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
schala-repl/src/repl/mod.rs
View File

@ -250,9 +250,15 @@ impl Repl {
CommandTree::nonterm("show-immediate", None, passes_directives.clone()), CommandTree::nonterm("show-immediate", None, passes_directives.clone()),
CommandTree::nonterm("show", None, passes_directives.clone()), CommandTree::nonterm("show", None, passes_directives.clone()),
CommandTree::nonterm("hide", None, passes_directives.clone()), CommandTree::nonterm("hide", None, passes_directives.clone()),
CommandTree::nonterm("timing", None, vec![ CommandTree::nonterm("total-time", None, vec![
CommandTree::nonterm_no_further_tab_completions("on", None), CommandTree::term_with_function("on", None, vec![], Box::new(|repl: &mut Repl, _: &[&str]| {
CommandTree::nonterm_no_further_tab_completions("off", None), repl.options.show_total_time = true;
None
})),
CommandTree::term_with_function("off", None, vec![], Box::new(|repl: &mut Repl, _: &[&str]| {
repl.options.show_total_time = false;
None
})),
]) ])
], ],
Box::new(|repl: &mut Repl, cmds: &[&str]| { Box::new(|repl: &mut Repl, cmds: &[&str]| {