<br><br><div class="gmail_quote">On Mon, Mar 28, 2011 at 8:53 PM, Matthias Clasen <span dir="ltr"><<a href="mailto:mclasen@redhat.com">mclasen@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
The answer to 'What about themes ?' is misleading/wrong. GNOME shell has<br>
no official theming support. If you install an extension, you get to<br>
keep both pieces if it breaks.</blockquote></div><br>The 'What about themes ?' should just state that 'GNOME shell has
no official theming support' until there is something supported from upstream, the third party tools are hacks at the moment and should not be used by the normal users.<br><br>Tim<br>