Unfortunately, this is kind of awkward right now. There's this "history provider" type – I would much prefer if it were a simple array of HistoryEntry objects, but that's a significant refactor. The base/repl.jl code is not too hard to follow (if you ignore all the expression objects), however, so you might be able to get something to work.
On Sun, Aug 3, 2014 at 3:30 AM, Tobias Knopp <[email protected]> wrote: > Hi, > > is there a simple way to access the history of the (new 0.3) REPL? In > Julietta I previously just read the (old) history format file by hand but > with the new REPL infrastructure and history format this does not work > anymore. > > I am currently running the terminal in an extra process and use a custom > loop to execute commands that are entered in a Gtk entry. It looks like I > may could reuse things from the REPL infrastructure which seems to already > use a client/server architecture. But I am not really sure what I need to > implement in order to connect this to a Gtk text widget instead of the > terminal. > > Cheers, > > Tobi >
