<div class="gmail_extra"><div class="gmail_quote">On 7 November 2012 16:52, Zoltán Vörös <span dir="ltr"><<a href="mailto:zvoros@gmail.com" target="_blank">zvoros@gmail.com</a>></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't mutually exclusive - if there's enough interest, we could have more than one.<br><br>Thanks,<br>Thomas<br></div>