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
