| http://www.w3.org/ns/prov#value | - Yes, there is an option, but it is unusable.???Kojo Nyame+010 Reply +Linus Torvalds I will have to try out gnome-tweak-tool and the dock extension.???Martin Riedel+010 Reply Thanks +Linus Torvalds for the shell-extension tip!???Thomas Blank+232 Reply Agree: The Gnome people seem to have a hard time admitting obvious mistakes.
|
