Age | Commit message (Collapse) | Author |
|
This handler got broken when exit_nicely stopped actually triggering
an exit from the entire process and started just exiting the guile thread.
And, actually, it never exited with an error-status before--
which it does now.
|
|
|
|
This gives _much_ more useful readline behavior,
since (ice-9 readline) actually knows how to autocomplete
based on the scheme environment, handle multi-line input, etc.;
and properly displays return values and error-messages,
and supports switching to different front-end programming languages
like ecmascript.
Note that we're keeping catch_handler so that we have a chance
of diagnosing problems that could _conceivably_ occur
when interacting with guile during bootstrap
(e.g.: missing readline support, changed REPL API...).
|
|
|
|
After some of the restructuring that was involved
in the inversion of the GTK+/guile threads,
these variables are no longer needed.
Though note that we do actually still busywait
specifically on creation of the map.
|
|
Making the GTK+ thread the main thread, and subordinating the guile thread,
lets the GUI continue to live after the robot has died--
which means that we'll be able to switch to just doing
everything in the GUI without requiring a separate xterm
to see the final stats after the robot dies.
|
|
|
|
|
|
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Add initial ui update to avoid corruption.
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|
|
Signed-off-by: Bradley Smith <brad@brad-smith.co.uk>
|