On 04/11/2011 07:35 PM, Brian Millett wrote: > So, currently I see no way of configuring, say, the new doc (position, > etc) other than install or remove the packages? No such options at this time. > gnome-tweek-tool does not give me anything new. Other than the user theme extension, no other extension changes anything in gnome-tweak--tool Rahul