From 3885bc7147337ab44a87b62965c6b777db5d5895 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Wed, 23 Mar 2016 10:17:05 +0100
Subject: [PATCH] Fix for TextView::on_key_press_event workaround

---
 src/source.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/source.cc b/src/source.cc
index 72d0c87..5eab55b 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -1288,7 +1288,7 @@ bool Source::View::on_key_press_event_basic(GdkEventKey* key) {
   //Have only experienced this on OS X
   //Note: valgrind reports issues on TextView::on_key_press_event as well
   auto unicode=gdk_keyval_to_unicode(key->keyval);
-  if(unicode>=32 && unicode!=127) {
+  if((key->state&(GDK_CONTROL_MASK|GDK_META_MASK))==0 && unicode>=32 && unicode!=127) {
     if(get_buffer()->get_has_selection()) {
       Gtk::TextIter selection_start, selection_end;
       get_buffer()->get_selection_bounds(selection_start, selection_end);