From 4ac8573df207175398854e47221f3ca4a36f181a Mon Sep 17 00:00:00 2001
From: Mukund Sivaraman <muks@mukund.org>
Date: Sat, 5 May 2007 13:05:59 +0000
Subject: [PATCH] make the splash progress bar lean and mean.

2007-05-05  Mukund Sivaraman  <muks@mukund.org>

        * app/gui/splash.c: make the splash progress bar lean and mean.


svn path=/trunk/; revision=22419
---
 ChangeLog        | 4 ++++
 app/gui/splash.c | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index f399754f83..c8caa96ad7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-05-05  Mukund Sivaraman  <muks@mukund.org>
+
+	* app/gui/splash.c: make the splash progress bar lean and mean.
+
 2007-05-05  Mukund Sivaraman  <muks@mukund.org>
 
 	* app/base/gimplut.c
diff --git a/app/gui/splash.c b/app/gui/splash.c
index 70d76f035d..5dedac34fc 100644
--- a/app/gui/splash.c
+++ b/app/gui/splash.c
@@ -206,6 +206,7 @@ splash_create (gboolean be_verbose)
 
   /*  add a progress bar  */
   splash->progress = gtk_progress_bar_new ();
+  gtk_widget_set_size_request (splash->progress, 1, 12);
   gtk_box_pack_end (GTK_BOX (vbox), splash->progress, FALSE, FALSE, 0);
   gtk_widget_show (splash->progress);