/usr/share/gnome-Shell/theme/gnome-Shell.css
を編集できます。
元のファイルのバックアップを作成することを忘れないでください!
#dash {
で始まる行を検索します。
次の行では、.icon-grid { spacing
やicon-grid .overview { icon-size
などのプロパティを変更できます。
変更後、Gnomeシェルを再起動する必要があります Alt+F2 r
と入力し、 Enter。
2つのこと:
編集するファイルは、/usr/share/gnome-Shell/theme/ubuntu.css
ではなく、gnome-Shell.css
である可能性があります。少なくともこれは、Ubuntu 18.04の新規インストールの場合です。
最大6列でまだ「スタック」しています。さらに必要な場合は、「アプリケーションビューのその他の列」拡張機能を使用します。 https://extensions.gnome.org/extension/1305/more-columns-in-applications-view /
この情報をありがとう。私のシステム18.04では、変更が必要なのは/usr/share/gnome-Shell/theme/ubuntu.css
だけです。
そして、次の行のみ:
/* App Vault/Grid */
.icon-grid {
spacing: 30px;
-Shell-grid-horizontal-item-size: 96px; /* change this line - was 136px */
-Shell-grid-vertical-item-size: 136px; }
.icon-grid .overview-icon {
icon-size: 96px; }