diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-12-19 02:58:14 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-12-19 02:58:14 +0100 |
| commit | d7040eed4b7b6644aeaf00f319091444d5cb6bb5 (patch) | |
| tree | 1835cee060e129efca17b96cbe3bc702c936b02a | |
| parent | 124ddc37687cef8db09d2d7f4b559184e2ab3db5 (diff) | |
| download | geiser-d7040eed4b7b6644aeaf00f319091444d5cb6bb5.tar.gz geiser-d7040eed4b7b6644aeaf00f319091444d5cb6bb5.tar.bz2 | |
Even shorter REPL mode-line.
| -rw-r--r-- | elisp/geiser-repl.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/elisp/geiser-repl.el b/elisp/geiser-repl.el index 82b5a3c..8a0e0de 100644 --- a/elisp/geiser-repl.el +++ b/elisp/geiser-repl.el @@ -19,6 +19,7 @@ (require 'geiser-base) (require 'comint) +(require 'compile) ;;; Customization: @@ -305,7 +306,8 @@ If no REPL is running, execute `run-geiser' to start a fresh one." (setq geiser-eval--get-module-function 'geiser-repl--module-function) (when geiser-repl-autodoc-p (geiser-autodoc-mode 1)) (geiser-company--setup geiser-repl-company-p) - (compilation-shell-minor-mode 1)) + ;; enabling compilation-shell-minor-mode without the annoying highlighter + (compilation-setup t))) (define-key geiser-repl-mode-map "\C-d" 'delete-char) |