From fad9cc665cf493af09b369e863e1ea97c541dc8e Mon Sep 17 00:00:00 2001 From: Roey Darwish Dror Date: Mon, 21 Jan 2019 20:28:23 +0200 Subject: [PATCH] Fix warnings --- src/terminal.rs | 2 ++ 1 file changed, 2 insertions(+) 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()