@Greg Holst: yes, you can hide these icons by launching these two commands: $ gsettings set org.gnome.desktop.interface menus-have-icons false $ gconftool-2 -s '/desktop/gnome/interface/buttons_have_icons' --type bool false
@Greg Holst: yes, you can hide these icons by launching these two commands: desktop. interface menus-have-icons false gnome/interface /buttons_ have_icons' --type bool false
$ gsettings set org.gnome.
$ gconftool-2 -s '/desktop/