updated for version 7.2-257

diff --git a/src/gui_gtk_f.c b/src/gui_gtk_f.c
index d88499e256b3edf05f8dd73f58aa72dd1f8d5574..ccf54ece9799beea5c4d59ed5555d4a22fc27ccc 100644 (file)
--- a/src/gui_gtk_f.c
+++ b/src/gui_gtk_f.c
@@ -860,11 +860,9 @@ gtk_form_main_filter(GdkXEvent *gdk_xevent,
 gtk_form_set_static_gravity(GdkWindow *window, gboolean use_static)
 {
 #ifdef HAVE_GTK2
-    gboolean static_gravity_supported;
-
-    static_gravity_supported = gdk_window_set_static_gravities(window,
-                                                              use_static);
-    g_return_if_fail(static_gravity_supported);
+    /* We don't check if static gravity is actually supported, because it
+     * results in an annoying assertion error message. */
+    gdk_window_set_static_gravities(window, use_static);
 #else
     XSetWindowAttributes xattributes;
 

diff --git a/src/version.c b/src/version.c
index d4f0b4b99bad2d6fb6ba08eea83c6066bdb15d6a..be50d62b99d3dc29cf11b9bdd0323fe5a3e35e28 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -676,6 +676,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    257,
 /**/
     256,
 /**/