Debian Mate Desktop Eclipseスクロールバースライダーボタンのサイズが非常に大きいです。

Debian Mate Desktop Eclipseスクロールバースライダーボタンのサイズが非常に大きいです。

私はここにいるダーバンバスター、コンパニオンデスクトップテーマMenta、OpenJDK 11.0.9.1、和食 2020-06

私のEclipseのスクロールバースライダーはすごいです。

ここに画像の説明を入力してください。

カスタムgtk-3 CSSファイルでサイズ変更しようとしましたが、バー自体のみが変更され、ボタンは変更されませんでした。編集者CSS設定が実際に適用されました。以下を参照してください。

ここに画像の説明を入力してください。

気にしません。Eclipseのテーマオンになっているかオフになっているか(再起動しました)、またはEclipseテーマを使用していますか?

設定について読み、変更-Dswt.enable.themedScrollBar=false/変更しようtrueとしましたが、eclipse.ini何も変更されませんでした。

GTK-3 CSS

試し~/.config/gtk-3.0/gtk.cssてみました。ほぼデフォルトは次のとおりです。GTKテーマ

    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

設定しようとしています。~/.config/gtk-2.0/gtkrc

    style "scroll"
    {
     GtkScrollbar::slider-width = 6
    }
    class "*" style "scroll"

注:スライダーの色は変わらないため、ダークエクlipseテーマではさらに悪化します。

答え1

問題はステップボタンにのみ存在するようですが、私の場合は実際には必要ありません。無効にすることができ、バーはかなりよさそうだ。

関連性がある可能性があるいくつかの未解決のgtkバグレポートをご覧ください。未解決のGtkステップボタン幅のバグ

次のコメントを見て、このボタンを無効にすることを検討しました。

GTK2にはまだ問題があります。しかし、高コントラストとadwaitaのため、GTK3ではステップボタンはデフォルトでは使用されません。ただし、ステッパーを含むテーマがある場合、これはまだ3にあります。

ステッパーボタンを無効にするためのGtkThemeを参照してください。GTKテーマ

これは私に小さなバーを与えます。色も変更が可能だと思います。

/* Disable steppers as the width is not conforming to the slider width and looks strange in apps like eclipse (SWT) */
scrollbar {
  -GtkScrollbar-has-backward-stepper: 0;
  -GtkScrollbar-has-forward-stepper: 0;
}

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;
}

スライダーが小さくなります

関連情報