Как увеличить размер значков в GNOME Shell Dash?
Я пытался http://abhizweblog.blogspot.in/2011/06/gnome3-change-icon-size .html и попытался изменить файл /usr/share/gnome-shell/js/ui/dash.js
, но он все еще не работал.
Я только что решил противоположную проблему уменьшения размера значков в оболочке gnome на новой установке ubuntu GNOME 14.04 через файл /usr/share/gnome-shell/js/ui/dash.js
.
Помимо изменений в файле gnome-shell.cs
, упомянутых в вашей ссылке, и нескольких других, я изменил значение в строке 14 в файле dash.js
.