diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 13:42:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 13:42:33 +0000 |
commit | d94468a3f1fa9bb97cdb24508347396aa8564693 (patch) | |
tree | 77d32f26cb2e49298ff6ed760eb34c5981d4bb39 /lego | |
parent | 054fd4bec4830465cc0026588c72e37af9a7a664 (diff) |
Tidied output by putting newlines before imports done message.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index 47a72861..a0292bdb 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -56,7 +56,7 @@ (lambda (cmd string) (setq proof-shell-delayed-output ;;FIXME: This should be displayed in the minibuffer only - (cons 'insert "Imports done!")))) + (cons 'insert "\n\nImports done!")))) "Acknowledge end of processing import declarations.") (defconst lego-process-config |