diff options
Diffstat (limited to 'src/edit_lib.erl')
| -rw-r--r-- | src/edit_lib.erl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/edit_lib.erl b/src/edit_lib.erl index 73372db..08fd0aa 100644 --- a/src/edit_lib.erl +++ b/src/edit_lib.erl @@ -588,6 +588,11 @@ quit(State) -> ?EDIT_TERMINAL:teardown(), halt(). +-command({stop, [], "Exit the editor process, without halting Erlang."}). +stop(State) -> + ?EDIT_TERMINAL:teardown(), + init:restart(). % FIXME , should do something nicer... (tobbe) + -command({printf, [{string, "String:"}], "Print a string to standard output (the file edit.out)"}). |