GNOME Debian 7.2.0の外観を設定するツールはありますか?タイトルバーが太すぎて、フォントが大きすぎます。私はDebianのためにUbuntuを離れようとしているので、あまり詳しくありません。
GNOME 3のタイトルバーを改善するためにできることがいくつかあります。
パディングの設定は、このmetacity XMLファイル/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
で制御されます。
ターミナルウィンドウを開く
$ Sudo sed -i "/title_vertical_pad/s/value=\"[0-9]\{1,2\}\"/value=\"0\"/g" \
/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
ヒット Alt+F2
restart
before
後
このツールを使用すると、タイトルバーに使用するフォントをカスタマイズできます。
$ gnome-Tweak-tool
スクリーンショット
dconf-editor
を使用して変更することもできます。
$ dconf-editor
次に、次のように階層を移動します。
org> gnome>デスクトップ> wm>プリファレンス:: titlebar-font
スクリーンショット
get
およびset
コマンドをgsettings
に使用して、使用されているタイトルバー情報を確認できます。
設定を取得
$ gsettings get org.gnome.desktop.wm.preferences titlebar-font
'Cantarell Bold 8'
設定を設定
$ gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Cantarell Bold 10
$
Gnome3(およびGnomeシェル)を使用している場合は、デフォルトの動作と雰囲気を変更するために使用できる gnomeプロジェクトから利用可能なシェル拡張機能 が好きかもしれません。
私はこの応答があなたの質問に直接対処しないことを理解していますが、Gnome3のデフォルトの動作でさまざまな不快感を取り除くいくつかの便利な拡張機能を見つけました。