<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hi Thomas,<br>
    <br>
    <br>
    <div class="moz-cite-prefix">On 11/07/2012 05:47 PM, Thomas Kluyver
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAOvn4qhBuSNj-r+61F42owp3BZ_rNXSk5qwfjMn-Mrgcm7r_FQ@mail.gmail.com"
      type="cite">
      <div class="gmail_extra">
        <div class="gmail_quote">On 7 November 2012 16:39, Zolt&aacute;n V&ouml;r&ouml;s
          <span dir="ltr">&lt;<a moz-do-not-send="true"
              href="mailto:zvoros@gmail.com" target="_blank">zvoros@gmail.com</a>&gt;</span>
          wrote:<br>
          <blockquote class="gmail_quote" style="margin:0px 0px 0px
            0.8ex;border-left:1px solid
            rgb(204,204,204);padding-left:1ex">
            So, would you like to have a snapshot of the kernel history,
            then? Because that could, perhaps, be handled in the kernel,
            and the frontend doesn't matter in that case... But the
            kernel history is already saved somewhere, if I am not
            mistaken. </blockquote>
        </div>
        <br>
        You're not mistaken. There's an SQLite history database in the
        profile directory. What we don't yet have are any tools for the
        user to access it. That would be a good standalone project if
        anyone is interested - the API is there, it just needs an
        interface. There's a brief description at <a
          moz-do-not-send="true"
          href="http://wiki.ipython.org/Potential_projects">http://wiki.ipython.org/Potential_projects</a><br>
      </div>
    </blockquote>
    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?<br>
    <br>
    Cheers,<br>
    Zolt&aacute;n<br>
    <br>
  </body>
</html>