RE: icon-masking in gnome