On 24 Dec 2011, at 17:32, Bakki Kudva wrote: > I think that the theme menu item could be moved to its own tab in Preferences […] Many things in the current UI are subject to change and an “appearances” preferences tab is a very likely addition.