From db3ef57cf56b67284f6790b2ada4dd519724d407 Mon Sep 17 00:00:00 2001
From: William Jon McCann <william.jon.mccann@gmail.com>
Date: Wed, 17 Jul 2013 17:16:01 -0400
Subject: [PATCH] docs: don't vertically fill statusbar

---
 docs/tools/widgets.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c
index afc631da08..2a7924fb34 100644
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -1079,7 +1079,7 @@ create_statusbar (void)
   gtk_container_add (GTK_CONTAINER (align), gtk_label_new ("Status Bar"));
   gtk_box_pack_start (GTK_BOX (vbox),
 		      align,
-		      TRUE, TRUE, 0);
+		      FALSE, FALSE, 0);
   widget = gtk_statusbar_new ();
   align = gtk_alignment_new (0.5, 1.0, 1.0, 0.0);
   gtk_container_add (GTK_CONTAINER (align), widget);