On 6 December 2012 14:37, Ivan Shapovalov <span dir="ltr"><<a href="mailto:intelfx100@gmail.com" target="_blank">intelfx100@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div class=""><div class="h5">BTW - how do you think it'd be most convenient to do "history"?<br></div></div>
Maybe a right-click on a tab which will activate a dropdown list?<br></blockquote><div><br></div><div> What about keeping it in the buffer, scrolled up and </div><div>visually separated?<br></div><div>Perhaps even as collapsed outlines (numbered), as code blocks in editor :)</div>

</div><div><br></div><div>Best regards,</div>-- <br>Mateusz Loskot, <a href="http://mateusz.loskot.net" target="_blank">http://mateusz.loskot.net</a><br>
</div>