On 2012-05-03 08:09, Jakob Ovrum wrote: > I am considering putting the module tree and symbol tree in tabs instead > of below each other. I think that would be a good idea. -- /Jacob Carlborg