如何增加 GNOME Shell Dash 中图标的大小？
我努力了http://abhizweblog.blogspot.in/2011/06/gnome3-change-icon-size.html并尝试更改/usr/share/gnome-shell/js/ui/dash.js文件，但仍然不起作用。
答案1
我刚刚通过该文件解决了在全新安装的 ubuntu GNOME 14.04 上减小 gnome shell 中图标大小的相反问题/usr/share/gnome-shell/js/ui/dash.js。
除了gnome-shell.cs您链接中提到的文件中的修改和其他一些修改之外，我还更改了文件第 14 行的值dash.js。