Searched refs:gVScaleWidget (Results 1 – 1 of 1) sorted by relevance
71 static GtkWidget* gVScaleWidget; variable257 if (!gVScaleWidget) { in ensure_scale_widget()258 gVScaleWidget = gtk_vscale_new(NULL); in ensure_scale_widget()259 setup_widget_prototype(gVScaleWidget); in ensure_scale_widget()1382 widget = ((flags == GTK_ORIENTATION_HORIZONTAL) ? gHScaleWidget : gVScaleWidget); in moz_gtk_scale_paint()1423 widget = ((flags == GTK_ORIENTATION_HORIZONTAL) ? gHScaleWidget : gVScaleWidget); in moz_gtk_scale_thumb_paint()2763 w = gVScaleWidget; in moz_gtk_get_widget_border()3005 widget = ((orient == GTK_ORIENTATION_HORIZONTAL) ? gHScaleWidget : gVScaleWidget); in moz_gtk_get_scalethumb_metrics()3280 gVScaleWidget = NULL; in moz_gtk_shutdown()