Would be great if you could make it an accordion with a live search at the top.<br>
<br><br><div class="gmail_quote">On Thu, May 3, 2012 at 10:09 AM, Ary Manzana <span dir="ltr"><<a href="mailto:ary@esperanto.org.ar" target="_blank">ary@esperanto.org.ar</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 5/3/12 2:10 PM, Jacob Carlborg wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 2012-05-03 08:09, Jakob Ovrum wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I am considering putting the module tree and symbol tree in tabs instead<br>
of below each other.<br>
</blockquote>
<br>
I think that would be a good idea.<br>
</blockquote>
<br></div>
I'm not sure. I'd like the symbols to be under the same tree.<br>
<br>
With tabs you'd have to click twice to go from one place to another.<br>
<br>
</blockquote></div><br>