ref: 8add7421dfc72c2fcdeb213c32a474e9af6ee4bb
parent: c27235cc51c2e131ffb0eb5ba30fe6991f0aed37
author: Simon Tatham <anakin@pobox.com>
date: Tue Jun 7 16:25:25 EDT 2005
Chris Emerson points out that gtk_window_resize() isn't in GTK 1.2. Work around it the same way I did in PuTTY. [originally from svn r5920]
--- a/gtk.c
+++ b/gtk.c
@@ -852,6 +852,11 @@
*py = y;
}
+#if !GTK_CHECK_VERSION(2,0,0)
+#define gtk_window_resize(win, x, y) \
+ gdk_window_resize(GTK_WIDGET(win)->window, x, y)
+#endif
+
static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
{
frontend *fe = (frontend *)data;