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.
This commit is contained in:
Benjamin Otte 2011-04-28 22:11:55 +02:00
parent 5b1ca9dfa8
commit 1c46e04f30

View File

@ -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;
}