From 91e18eed73c270fce5bb3917f64521398fce8a1d 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/platform/gtkmain.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/platform/gtkmain.cpp b/src/platform/gtkmain.cpp
index f1639e8..b535111 100644
--- a/src/platform/gtkmain.cpp
+++ b/src/platform/gtkmain.cpp
@@ -360,6 +360,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);