From e65b566e5ae7bb2f71903717f16ef2f3a4698332 Mon Sep 17 00:00:00 2001 From: Pietro Brenna Date: Thu, 9 Apr 2020 10:34:06 +0200 Subject: [PATCH] format --- src/window_state.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/window_state.rs b/src/window_state.rs index 5594504..03e599b 100644 --- a/src/window_state.rs +++ b/src/window_state.rs @@ -34,7 +34,7 @@ impl WindowState { full: f, position: p, last_toggle: None, - focus_lost: None + focus_lost: None, })) } } @@ -165,19 +165,19 @@ pub fn esegui_toggle( let ts = gtk::get_current_event_time(); let pos = w_state.get_pos(); match pos { - Hidden | Hiding => { + Hidden | Hiding => { bring_up(window, w_state, ts); crate::tabs::focus_current_tab(&nb); - }, + } UpWithoutFocus => { - let f_l = w_state.get_focus_lost() ; + let f_l = w_state.get_focus_lost(); if f_l.is_some() && f_l.unwrap().elapsed() < Duration::from_millis(200) { hide(window, &w_state); } else { bring_up(window, w_state, ts); - crate::tabs::focus_current_tab(&nb); + crate::tabs::focus_current_tab(&nb); } - }, + } Up => hide(window, &w_state), _ => {} }