<div class="gmail_extra"><div class="gmail_quote">On 7 November 2012 16:52, Zoltán Vörös <span dir="ltr">&lt;<a href="mailto:zvoros@gmail.com" target="_blank">zvoros@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

What would be your definition of an interface in this instance? I
    have never used this, but by looking at your write-up, it seems to
    me that pretty much everything is there. Did you mean a piece of js
    code, so that you could browse the history in a, well, browser? Or
    something is Qt/Gtk?</blockquote></div><br>It could really be whatever the person implementing it wants to build. A few possibilities:<br><br>- A simple command-line interface to e.g. dump the last session to a text file. This would probably be easy to code and very valuable.<br>

- A more interactive terminal-based interface.<br>- A GUI application. Qt is preferable because we already have the Qt console, but if someone really wants to do it in Gtk, they could.<br>- An HTML interface that could be offered through the notebook server.<br>

<br>These aren&#39;t mutually exclusive - if there&#39;s enough interest, we could have more than one.<br><br>Thanks,<br>Thomas<br></div>