On Thu, May 3, 2012 at 10:09 AM, Ary Manzana <ary@esperanto.org.ar> wrote:

On 5/3/12 2:10 PM, Jacob Carlborg wrote:

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.

I'm not sure. I'd like the symbols to be under the same tree.

With tabs you'd have to click twice to go from one place to another.