Widget: Add missing space in new warning
authorDaniel Boles <dboles.src@gmail.com>
Sun, 22 Apr 2018 22:12:18 +0000 (23:12 +0100)
committerDaniel Boles <dboles.src@gmail.com>
Sun, 22 Apr 2018 22:12:18 +0000 (23:12 +0100)
gtk/gtkwidget.c

index 5cba63d4d6ffe7d73668a70c5e41c8e674929dc9..30e43d4ac828e75d359e69ce06eba2896bf68a5c 100644 (file)
@@ -6731,7 +6731,7 @@ gtk_widget_reposition_after (GtkWidget *widget,
 
   if (priv->parent != NULL && priv->parent != parent)
     {
-      g_warning ("Can't set new parent %s %p on widget %s %p,"
+      g_warning ("Can't set new parent %s %p on widget %s %p, "
                  "which already has parent %s %p",
                  gtk_widget_get_name (parent), (void *)parent,
                  gtk_widget_get_name (widget), (void *)widget,