From fb8e46bb450538850794555896cfe4e700d04022 Mon Sep 17 00:00:00 2001
From: abakkk <abakkk@netcourrier.com>
Date: Mon, 25 Nov 2019 11:44:18 +0100
Subject: [PATCH] fix text shape that displayed 'ctrl' shortcuts

---
 draw.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/draw.js b/draw.js
index cbdd8fa..a3c780b 100644
--- a/draw.js
+++ b/draw.js
@@ -231,6 +231,9 @@ var DrawingArea = new Lang.Class({
             // stop writing
             // Clutter.KEY_Return is "Enter" and 65421 is KP_Enter
                 this._stopWriting();
+            } else if (event.has_control_modifier()){
+            // it's a shortcut, do not write text
+                return Clutter.EVENT_PROPAGATE;
             } else {
                 let unicode = event.get_key_unicode();
                 this.currentElement.text += unicode;