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]

diff --git a/gtk.c b/gtk.c
index 91d44d6c53bb657998ab3a8ec23f9773d6cbcedf..37dcf233ed462bb1feb208a82707887adb4a4c08 100644 (file)
--- a/gtk.c
+++ b/gtk.c
@@ -852,6 +852,11 @@ static void get_size(frontend *fe, int *px, int *py)
     *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;