static style_prop_t style_prop_func; static PRBool checkedStyleProp = PR_FALSE;
moz_gtk_get_scrollbar_metrics(gint* slider_width, gint* trough_border,                              gint* stepper_size, gint* stepper_spacing,                              gint* min_slider_size){#if ((GTK_MINOR_VERSION == 2) && (GTK_MICRO_VERSION > 8)) || (GTK_MINOR_VERSION > 2)  /*   * This API is only supported in GTK+ >= 1.2.9, and gives per-theme values.   */  if (slider_width)    *slider_width = gtk_style_get_prop_experimental(gScrollbarWidget->style,                                                    "GtkRange::slider_width",                                                    RANGE_CLASS(gScrollbarWidget)->slider_width);  if (trough_border)    *trough_border = gtk_style_get_prop_experimental(gScrollbarWidget->style,                                                     "GtkRange::trough_border",                                                     gScrollbarWidget->style->klass->xthickness);  if (stepper_size)    *stepper_size = gtk_style_get_prop_experimental(gScrollbarWidget->style,                                                    "GtkRange::stepper_size",                                                    RANGE_CLASS(gScrollbarWidget)->stepper_size);  if (stepper_spacing)    *stepper_spacing = gtk_style_get_prop_experimental(gScrollbarWidget->style,                                                       "GtkRange::stepper_spacing",                                                       RANGE_CLASS(gScrollbarWidget)->stepper_slider_spacing);  if (min_slider_size)    *min_slider_size = RANGE_CLASS(gScrollbarWidget)->min_slider_size;#else  /*   * This is the older method, which gives per-engine values.   */  if (slider_width)    *slider_width = RANGE_CLASS(gScrollbarWidget)->slider_width;  if (trough_border)    *trough_border = gScrollbarWidget->style->klass->xthickness;  if (stepper_size)    *stepper_size = RANGE_CLASS(gScrollbarWidget)->stepper_size;  if (stepper_spacing)    *stepper_spacing = RANGE_CLASS(gScrollbarWidget)->stepper_slider_spacing;  if (min_slider_size)    *min_slider_size = RANGE_CLASS(gScrollbarWidget)->min_slider_size;#endif}