もっと小さくしたいです。設定→ディスプレイで変更できたことを覚えています。しかし、どこにも見つかりません。
私はVMwareでDebian 9.5を使用しています。
ベストアンサー1
このパッケージをインストールする必要があります。Debian サイトの公式パッケージ
sudo apt install gnome-shell-extension-dashtodock。
その後、シェルをAlt+F2 r Enter。
開いてtweak tool確認してextension Dash To Dock側面を編集します。
アイコンサイズ制限アイコンサイズの変更
