diff --git a/src/terminal.rs b/src/terminal.rs index 1b99988a..9f2f3e06 100644 --- a/src/terminal.rs +++ b/src/terminal.rs @@ -119,6 +119,7 @@ pub fn print_separator>(message: P) { TERMINAL.lock().unwrap().print_separator(message) } +#[allow(dead_code)] pub fn print_warning>(message: P) { TERMINAL.lock().unwrap().print_warning(message) } @@ -127,6 +128,7 @@ pub fn print_result>(key: P, succeeded: bool) { TERMINAL.lock().unwrap().print_result(key, succeeded) } +#[cfg(windows)] /// Tells whether the terminal is dumb. pub fn is_dumb() -> bool { TERMINAL.lock().unwrap().width.is_none()