答え1
ツールバーのサイズを縮小できます。ツールバーのサイズを変更するために(Googleの助けを借りて)、次のCSSファイルを作成しました。
style "gtkcompact" {
GtkButton::default_border={0,0,0,0}
GtkButton::default_outside_border={0,0,0,0}
GtkButtonBox::child_min_width=0
GtkButtonBox::child_min_heigth=0
GtkButtonBox::child_internal_pad_x=0
GtkButtonBox::child_internal_pad_y=0
GtkMenu::vertical-padding=1
GtkMenuBar::internal_padding=0
GtkMenuItem::horizontal_padding=4
GtkToolbar::internal-padding=0
GtkToolbar::space-size=0
GtkOptionMenu::indicator_size=0
GtkOptionMenu::indicator_spacing=0
GtkPaned::handle_size=4
GtkRange::trough_border=0
GtkRange::stepper_spacing=0
GtkScale::value_spacing=0
GtkScrolledWindow::scrollbar_spacing=0
GtkTreeView::vertical-separator=0
GtkTreeView::horizontal-separator=0
GtkTreeView::fixed-height-mode=TRUE
GtkWidget::focus_padding=0
}
class "GtkWidget" style "gtkcompact"
# Make tabs smaller
style "compact-toolbar" {
GtkToolbar::internal-padding = 0
xthickness = 1
ythickness = 1
}
style "compact-button" {
xthickness = 0
ythickness = 0
}
style "compact-default"
{
xthickness=1
ythickness=1
}
style "compact-entry"
{
xthickness=2
ythickness=2
}
class "GtkButton" style "compact-default"
class "GtkPaned" style "compact-default"
class "GtkEntry" style "compact-entry"
class "GtkToolbar" style "compact-toolbar"
widget_class "*<GtkToolbar>*<GtkButton>" style "compact-button"
このCSSでは、この行はclass "GtkEntry" style "compact-entry"
CSSスタイルに応じてツールバーのサイズを縮小します"compact-entry"
。
.gtkrc-eclipse
私はホームディレクトリに名前を付けて上記のファイルを保存しました。その後、eclipse.sh
作成したファイルを使用してEclipseを実行するために、次のコマンドを含むスクリプトを作成しました。
export SWT_GTK3=0
env GTK2_RC_FILES=/usr/share/themes/Adwaita/gtk-2.0/gtkrc:/home/snoop/.gtkrc-eclipse /home/snoop/Mars2/eclipse
次に、bash eclipse.sh
Eclipseを実行してCSSスタイルを使用してスクリプトを呼び出します。変更されたEclipseツールバーは次のとおりです。