diff --git a/src/ui/mod.rs b/src/ui/mod.rs index 5eb8dc9..d43157c 100644 --- a/src/ui/mod.rs +++ b/src/ui/mod.rs @@ -258,7 +258,10 @@ impl Widgets for AppWidgets { add_controller = >k::EventControllerKey { connect_key_pressed(sender) => move |_, key, _, state| { send!(sender, AppMsg::InputUpdate); - if !state.contains(gdk::ModifierType::SHIFT_MASK) { + if !( + state.contains(gdk::ModifierType::SHIFT_MASK) || + state.contains(gdk::ModifierType::CONTROL_MASK) + ) { match key { gdk::Key::Return => { send!(sender, AppMsg::Eval);