> Your Gnome is probably not the same version number as the online manual > refers to. Gnome changes all the time. This might be so. But then again my local manual (help stuff) says exactly the same thing. And still I don't know how to set those icons.