GTK: clip any editors instead of resizing GraphicsWindow.
Such resizing may well get us past OpenGL's maximum texture size and break rendering.pull/10/head
parent
ddc0dd7194
commit
91e18eed73
|
@ -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);
|
||||
|
|
Loading…
Reference in New Issue