Hi, I am a longtime fedora and gnome enduser. I want to propose icon masking facility for unthemed desktop icon, as it is very common in android. I talked to such a icon developer (Numix) and I was told that this is not supported in linux. Is there any work on this? Regards, RudraB