From d13e29cdafd735406425bbdff4fa2a496d616b63 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 20 May 2016 23:39:06 +0000
Subject: [PATCH] GTK: clip any editors instead of resizing GraphicsWindow.

Such resizing may well get us past OpenGL's maximum texture size
and break rendering.
---
 src/gtk/gtkmain.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gtk/gtkmain.cpp b/src/gtk/gtkmain.cpp
index aae81b4..7090c30 100644
--- a/src/gtk/gtkmain.cpp
+++ b/src/gtk/gtkmain.cpp
@@ -368,6 +368,8 @@ private:
 class EditorOverlay : public Gtk::Fixed {
 public:
     EditorOverlay(Gtk::Widget &underlay) : _underlay(underlay) {
+        set_size_request(0, 0);
+
         add(_underlay);
 
         _entry.set_no_show_all(true);