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 | 790d37d078079db0f81271520878eda27f4c956e (patch) | |
| tree | 7cfe4c05aca1e177650a2afc2a7feaff13766a16 | |
| parent | a5ef72f290d52bf5777ea7334f9a81e2868ca5c8 (diff) | |
| download | geiser-guile-790d37d078079db0f81271520878eda27f4c956e.tar.gz geiser-guile-790d37d078079db0f81271520878eda27f4c956e.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) |