use a smaller font for the "Press F1..." label

svn path=/trunk/; revision=25274

libgimpwidgets/gimphelpui.c

@@ -420,6 +420,7 @@ gimp_help_menu_item_query_tooltip (GtkWidget  *widget,
   label = gtk_label_new (_("Press F1 for more help"));
   gimp_label_set_attributes (GTK_LABEL (label),
                              PANGO_ATTR_STYLE, PANGO_STYLE_ITALIC,
+                             PANGO_ATTR_SCALE, PANGO_SCALE_SMALL,
                              -1);
   gtk_misc_set_alignment (GTK_MISC (label), 1.0, 0.0);
   gtk_box_pack_start (GTK_BOX (vbox), label, FALSE, FALSE, 0);