[gtk+] arrow: Make minimum size 5px, as opposed to the 15 it was before

[Benjamin Otte <otte src gnome org>]

commit 1c46e04f30e8b496ac0cc3ad830b4824e54c1e94
Author: Benjamin Otte <otte redhat com>
Date:   Thu Apr 28 22:11:55 2011 +0200

    arrow: Make minimum size 5px, as opposed to the 15 it was before
    
    Number chosen by staring out the window and counting visible stars.
    
    This is necessary so that path bars don't underallocate the arrow widget
    they use.

 gtk/gtkarrow.c |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/gtk/gtkarrow.c b/gtk/gtkarrow.c
index 9d46d69..4da3872 100644
--- a/gtk/gtkarrow.c
+++ b/gtk/gtkarrow.c
@@ -52,7 +52,8 @@
 #include "gtkprivate.h"
 #include "gtkintl.h"
 
-#define MIN_ARROW_SIZE  15
+#define MINIMUM_ARROW_SIZE  5
+#define NATURAL_ARROW_SIZE  15
 
 struct _GtkArrowPrivate
 {
@@ -208,10 +209,10 @@ gtk_arrow_get_preferred_width (GtkWidget *widget,
   gtk_misc_get_padding (GTK_MISC (widget), &xpad, NULL);
 
   if (minimum_size)
-    *minimum_size = MIN_ARROW_SIZE + xpad * 2;
+    *minimum_size = MINIMUM_ARROW_SIZE + xpad * 2;
 
   if (natural_size)
-    *natural_size = MIN_ARROW_SIZE + xpad * 2;
+    *natural_size = NATURAL_ARROW_SIZE + xpad * 2;
 }
 
 static void
@@ -224,10 +225,10 @@ gtk_arrow_get_preferred_height (GtkWidget *widget,
   gtk_misc_get_padding (GTK_MISC (widget), NULL, &ypad);
 
   if (minimum_size)
-    *minimum_size = MIN_ARROW_SIZE + ypad * 2;
+    *minimum_size = MINIMUM_ARROW_SIZE + ypad * 2;
 
   if (natural_size)
-    *natural_size = MIN_ARROW_SIZE + ypad * 2;
+    *natural_size = NATURAL_ARROW_SIZE + ypad * 2;
 }