Ubuntu 12.04を使用していて、gnome-shellがインストールされていますが、トップバーが通常よりも大きいことがわかりました。サイズをどのように変更できますか？
答え1
ファイルを探す
/usr/share/gnome-shell/theme/gnome-shell.css
コマンドを実行して編集用に開きます。
sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css
その後、ファイルの先頭に
/* default text style */
stage {
font-family: cantarell, sans-serif;
font-size: 11pt;
color: white;
}
font-size: 11pt変更なし font-size: 9pt
これでファイルを保存すると、シェルのフォントサイズが変更されました。これにより、トップバーのサイズも変更されますが、このファイルを読み込むにはテーマを再起動する必要があります。
Alt + F2を押してEnterを押し、rEnterを押します。
動作する必要があります。私はUbuntuを使用していませんが、Fedoraでは動作します。
答え2
[Windows] key + [Alt]"" 2つを長押しします。- "
Right-click"バー - [プロパティ]をクリックします。
[全般]タブで列のサイズを変更します。