void ScrollbarThemeGtk::updateThemeProperties() { GtkWidget* scrollbar = static_cast<RenderThemeGtk*>(RenderTheme::defaultTheme().get())->gtkHScrollbar(); gtk_widget_style_get(scrollbar, "slider_width", &m_thumbFatness, "trough_border", &m_troughBorderWidth, "stepper-size", &m_stepperSize, "trough-under-steppers", &m_troughUnderSteppers, "has-secondary-forward-stepper", &m_hasForwardButtonStartPart, "has-secondary-backward-stepper", &m_hasBackButtonEndPart, NULL); m_minThumbLength = gtk_range_get_min_slider_size(GTK_RANGE(scrollbar)); updateScrollbarsFrameThickness(); }
void ScrollbarThemeGtk::updateThemeProperties() { MozGtkScrollbarMetrics metrics; moz_gtk_get_scrollbar_metrics(&metrics); m_thumbFatness = metrics.slider_width; m_troughBorderWidth = metrics.trough_border; m_stepperSize = metrics.stepper_size; m_stepperSpacing = metrics.stepper_spacing; m_minThumbLength = metrics.min_slider_size; m_troughUnderSteppers = metrics.trough_under_steppers; m_hasForwardButtonStartPart = metrics.has_secondary_forward_stepper; m_hasBackButtonEndPart = metrics.has_secondary_backward_stepper; updateScrollbarsFrameThickness(); }
void ScrollbarThemeGtk::updateThemeProperties() { gtk_style_context_get_style( gtkScrollbarStyleContext(), "min-slider-length", &m_minThumbLength, "slider-width", &m_thumbFatness, "trough-border", &m_troughBorderWidth, "stepper-size", &m_stepperSize, "stepper-spacing", &m_stepperSpacing, "trough-under-steppers", &m_troughUnderSteppers, "has-backward-stepper", &m_hasBackButtonStartPart, "has-forward-stepper", &m_hasForwardButtonEndPart, "has-secondary-backward-stepper", &m_hasBackButtonEndPart, "has-secondary-forward-stepper", &m_hasForwardButtonStartPart, nullptr); updateScrollbarsFrameThickness(); }