gnome-Shell --replace
コマンドを使用して、Ubuntuでgnome-Shellを試しました。うまく機能しますが、シェルパネルのフォントサイズが大きすぎると思います。
Gnome-Shellパネルでフォントサイズをカスタマイズすることは可能ですか?
それに応じて/usr/share/gnome-Shell/theme/gnome-Shell.css
を変更してください。たとえば、パネルのフォントを変更する場合は、font-family: "FontName"
を.panel-button
に追加できます。また、ダッシュボードなどのフォントをさらにカスタマイズできます。
Gnome-Shellのカスタマイズに関する私のブログ投稿をチェックアウトできます: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-Shell-theme/
これを見つけました:
cd /usr/share/gnome-Shell/theme
Sudo gedit gnome-Shell.css
私はgnome-Shell.cssファイルの設定のいくつかをいじり、試行錯誤を繰り返し、アプリケーションアイコンの下のテキストのサイズを大きくすることに成功しました。 638行目で、フォントサイズを7.5ptから11.5ptに増やして、読みやすくしました。コード:
.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
border-radius: 4px;
padding: 3px;
border: 1px rgba(0,0,0,0);
font-size: 7.5pt;
color: white;
transition-duration: 100;
text-align: center;
}
また、アイコンのサイズを小さくすることにしました。
.icon-grid .overview-icon {
icon-size: 96px;
}
はい、可能です。私は同じ問題を抱えていました:)
/usr/share/gnome-Shell/js/ui/panel.js
。const DEFAULT_FONT
そしてフォントサイズ(または名前)を変更します。ところで:ui
ディレクトリにあるJavaScriptファイルを編集することで、ほとんどすべてをカスタマイズできます。
/usr/share/gnome-Shell/theme/gnome-Shell.css
の編集を推奨する投稿は正しいです。ただし、別のgnome-Shellテーマを使用している場合(Linux Mintを実行している場合など)、追加の編集可能なファイルが存在する可能性があることに注意してください。
たとえば、Mint12の「Mint-Z」テーマには、/usr/share/themes/Mint-Z
に構成可能な.cssファイルがあります。
さらに、gnome-Shell拡張には、/usr/share/gnome-Shell/extensions/{extension id}/
または$HOME/.local/share/gnome-Shell/extensions/{extension id}/
にある独自の構成可能な.cssファイルがある場合があります。これらの設定がテーマのデフォルトを上書きできるかどうかはわかりませんが。
編集:@Guilhermeは実際にあなたの質問に答えます。
参考までに私のシステム(gnome-Shell 3.2.1-0ubuntu1
)では、適切なcssセレクターは/usr/share/gnome-Shell/theme/gnome-Shell.css
の720行目にあり、7.5pt
に設定されています。ただし、Mint12システムの実際の設定は/usr/share/themes/Mint-Z/gnome-Shell.css
、@ line 880にあり、8pt
に設定されています。この値を変更してから、ALT+F2
プロンプトで「rt」コマンドを使用してテーマを再ロードします。