From 3dec0702da16c9fbc79ba33d4fb5155a1a7042ca Mon Sep 17 00:00:00 2001
From: LordMZTE <lord@mzte.de>
Date: Thu, 10 Feb 2022 23:53:06 +0100
Subject: [PATCH] ctrl can now be used to prevent special action in input bar

---
 src/ui/mod.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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<AppModel, ()> for AppWidgets {
                         add_controller = &gtk::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);