From 47642be133c32d95184b172e48ad559e65cd23e0 Mon Sep 17 00:00:00 2001
From: Stephen Boddy <stephen.j.boddy@gmail.com>
Date: Sun, 29 Nov 2015 01:35:05 +0100
Subject: [PATCH] Fix double double-click on titlebar in later GTK3

---
 terminatorlib/editablelabel.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/terminatorlib/editablelabel.py b/terminatorlib/editablelabel.py
index a073be21..9e05714b 100644
--- a/terminatorlib/editablelabel.py
+++ b/terminatorlib/editablelabel.py
@@ -73,6 +73,8 @@ class EditableLabel(Gtk.EventBox):
         if event.button != 1:
             return False
         if event.type == Gdk.EventType._2BUTTON_PRESS:
+            if self._entry:
+                return False
             self.remove (self._label)
             self._entry = Gtk.Entry ()
             self._entry.set_text (self._label.get_text ())