From 6ef031d5773f935d56fb9ff235749f6db0b13f36 Mon Sep 17 00:00:00 2001 From: Pietro Brenna Date: Sun, 10 May 2020 14:00:29 +0200 Subject: [PATCH] Ctrl+shift+v --- src/main.rs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/src/main.rs b/src/main.rs index fab9167..17071a2 100644 --- a/src/main.rs +++ b/src/main.rs @@ -86,6 +86,21 @@ fn build_ui(application: >k::Application) { true }), ); + + let (key, modifier) = gtk::accelerator_parse("v"); + accel_group.connect_accel_group( + key, + modifier, + gtk::AccelFlags::VISIBLE, + clone!(@weak nb => @default-return true, move |_accel_g, _window, _key, _modif| { + let p_num = nb.get_current_page(); + let page = nb.get_nth_page(p_num); + if let Some(vte) = page { + let _ = vte.downcast::().map(|x| x.paste_clipboard()); + } + true + }), + ); let (key, modifier) = gtk::accelerator_parse("F11"); let w_state = WindowState::new_arc(WindowPos::Hidden, FullScreenState::NotFull); let w_state0 = w_state.clone();