0
私は、パディングを減らしてGTKウィジェットを縮小しようとしています。以下はUbuntu 16.04で動作しますが、それ以降のリリースでは動作しません。 17.04と17.10では、CSSのスタイリングはスピンボタンには影響しません。他のボタンは期待どおりにリビルドされます。後でGTKリリースとそれを動作させるために変更する必要がある何gtkスピンボタンのサイズはCSSスタイルで変更されます - 古いGTKリリースでのみ動作しますか?
* {
padding: 1px 1px;
}
button {
padding: 0px 3px;
}
entry {
padding: 0px 2px;
}
widgets.css
ファイル?
ありがとうございました。 'スピンボタン'のパディングプロパティはありません。 'spinbutton'には 'entry'が含まれ、パディングもありません。異なるテーマと異なるGTKリリースの動作が異なるため、私はスピンボタンを変更しようとしません。 –