From 2b65beba4492242b1fc6b189f92f4e3fc073470c Mon Sep 17 00:00:00 2001 From: Dorota Czaplejewicz Date: Mon, 20 Jan 2020 15:40:30 +0000 Subject: [PATCH] press_key: Use proper logging --- src/layout.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/layout.rs b/src/layout.rs index 6ef223ef..7682d8ec 100644 --- a/src/layout.rs +++ b/src/layout.rs @@ -871,7 +871,10 @@ mod seat { rckey: &Rc>, ) { if !layout.pressed_keys.insert(::util::Pointer(rckey.clone())) { - eprintln!("Warning: key {:?} was already pressed", rckey); + log_print!( + logging::Level::Bug, + "Key {:?} was already pressed", rckey, + ); } let mut key = rckey.borrow_mut(); virtual_keyboard.switch(