Sample Header Ad - 728x90

Debian Mate Desktop Eclipse scoll bar slider button size huge

1 vote
1 answer
277 views
I am on **Debian** Buster, **Mate Desktop** theme Menta, OpenJdk 11.0.9.1, **eclipse 2020-06**. My scroll bar sliders in eclipse are huge. enter image description here I tried resizing them by a custom gtk-3 css file but this did only change the bar itself but not the buttons. *gedit* does apply the css settings. See bewlo: enter image description here It does not matter if **theming in eclipse** is on or off (I restarted) or the used eclipse theme. I read about the setting and tried changing -Dswt.enable.themedScrollBar=false / true in eclipse.ini, didn't change a thing. **gtk-3 css** The ~/.config/gtk-3.0/gtk.css I tried. Pretty much the default values from GTKTheme
css
    scrollbar slider {
      /* Size of the slider */
      min-width: 6px;
      min-height: 6px;
      border-radius: 6px;
      -GtkRange-slider-width: 6;
      -GtkRange-stepper-size: 6;
      -GtkRange-stepper-spacing: 0;
      -GtkRange-trough-border: 1;
      -GtkRange-arrow-displacement-x: 0;
      -GtkRange-arrow-displacement-y: 0;
      -GtkRange-activate-slider: FALSE;
      -GtkRange-trough-side-detrails: FALSE;
    }
**gtk-2 gtkrc** I tried setting ~/.config/gtk-2.0/gtkrc
css
    style "scroll"
    {
     GtkScrollbar::slider-width = 6
    }
    class "*" style "scroll"
**Side note:** It looks even worse using the dark eclipse theme as the slider colour does not change.
Asked by Benjamin Peter (121 rep)
Jan 7, 2021, 10:40 AM
Last activity: Jan 7, 2021, 11:28 AM