Gnomeでコンテキストメニューのサイズを縮小する方法は？
次の画像に示すように、Gnome Dockのコンテキストメニューをクリックすると、次のメニューが表示されます。
オプション間のサイズを縮小できますか？これらの赤いマーク領域を削減できますか？
デフォルトのテーマでこれを修正できるかどうか/どのように修正できるかはわかりませんが、カスタムシェルテーマを使用している場合は、次のことができます。
テーマのgnome-Shell.cssスタイルシートを開きます（GNOME Shellテーマを含む任意のGtkテーマを使用できます）：
Sudo -H gedit /usr/share/themes/<your-theme>/gnome-Shell/gnome-Shell.css
.popup-menu-ornament要素を検索し、heightを変更してスペースを削減します。
popup-menu-ornamentは、このスクリーンショットの黄色のボックスです。
このようにして、使用しているFlat Plat compactテーマの間隔を狭めることができました。
注：これを行うためのより良い方法があるかもしれませんし、これはすべてのテーマで動作しないかもしれません。フィードバックを歓迎します。