Thanks Stefan. Will have a look at repl.jl then. When I posted the original question I did not really get how the "history provider" works :-)
Am Sonntag, 10. August 2014 04:38:52 UTC+2 schrieb Stefan Karpinski: > > 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] > <javascript:>> 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 >> > >
