From 78ca3974390465dfeb10f5a688ebc9d848035f2b Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 8 Dec 2019 16:17:39 +0700 Subject: [PATCH 1/5] Do not quit utop buffers automatically --- modules/lang/ocaml/config.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/modules/lang/ocaml/config.el b/modules/lang/ocaml/config.el index 69ff8282d..69ce17737 100644 --- a/modules/lang/ocaml/config.el +++ b/modules/lang/ocaml/config.el @@ -37,7 +37,9 @@ (set-eval-handler! 'tuareg-mode #'utop-eval-region) (defun +ocaml-init-utop-h () (when (executable-find "utop") - (utop-minor-mode))))) + (utop-minor-mode))) + :config + (set-popup-rule! "^\\*utop\\*" :quit nil))) (use-package! merlin From 9ad0e710f5c7a58451060c84a08aaa07b75b9d94 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 8 Dec 2019 16:17:53 +0700 Subject: [PATCH 2/5] Do not quit scheme repl's automatically --- modules/lang/scheme/config.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/lang/scheme/config.el b/modules/lang/scheme/config.el index 9f4e286a0..8fbceb2c1 100644 --- a/modules/lang/scheme/config.el +++ b/modules/lang/scheme/config.el @@ -39,4 +39,5 @@ "q" #'geiser-repl-exit "r" #'geiser-restart-repl "R" #'geiser-reload - "c" #'geiser-repl-clear-buffer))) + "c" #'geiser-repl-clear-buffer)) + (set-popup-rule! "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil)) From 10b06b06d99eddc018f8569ded4731986dcca6fc Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 8 Dec 2019 16:28:13 +0700 Subject: [PATCH 3/5] popup rules for geiser buffers --- modules/lang/scheme/config.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/modules/lang/scheme/config.el b/modules/lang/scheme/config.el index 8fbceb2c1..03641843f 100644 --- a/modules/lang/scheme/config.el +++ b/modules/lang/scheme/config.el @@ -40,4 +40,6 @@ "r" #'geiser-restart-repl "R" #'geiser-reload "c" #'geiser-repl-clear-buffer)) - (set-popup-rule! "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil)) + (set-popup-rule! + '(("\\*[Gg]eiser \\(?:[Mm]essages\\|DBG\\|Xref\\)\\*" :quit nil) + ( "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil)))) From 1a1b5c650ca45e753bf5c83f1cb9f7da26c538d4 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 8 Dec 2019 21:17:01 +0700 Subject: [PATCH 4/5] Move geiser rules above map --- modules/lang/scheme/config.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/lang/scheme/config.el b/modules/lang/scheme/config.el index 03641843f..4face46ed 100644 --- a/modules/lang/scheme/config.el +++ b/modules/lang/scheme/config.el @@ -17,6 +17,9 @@ :definition #'geiser-edit-symbol-at-point :documentation #'geiser-doc-symbol-at-point)) :config + (set-popup-rule! + '(("\\*[Gg]eiser \\(?:[Mm]essages\\|DBG\\|Xref\\)\\*" :quit nil) + ( "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil))) (map! :localleader :map scheme-mode-map "'" #'geiser-mode-switch-to-repl @@ -39,7 +42,4 @@ "q" #'geiser-repl-exit "r" #'geiser-restart-repl "R" #'geiser-reload - "c" #'geiser-repl-clear-buffer)) - (set-popup-rule! - '(("\\*[Gg]eiser \\(?:[Mm]essages\\|DBG\\|Xref\\)\\*" :quit nil) - ( "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil)))) + "c" #'geiser-repl-clear-buffer))) From abdc5502bcb886482db63922917c9741c1dcc100 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 8 Dec 2019 21:19:30 +0700 Subject: [PATCH 5/5] Use [set-popup-rules!] instead of [set-popup-rule!] --- modules/lang/scheme/config.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/lang/scheme/config.el b/modules/lang/scheme/config.el index 4face46ed..67e5bfd6a 100644 --- a/modules/lang/scheme/config.el +++ b/modules/lang/scheme/config.el @@ -17,7 +17,7 @@ :definition #'geiser-edit-symbol-at-point :documentation #'geiser-doc-symbol-at-point)) :config - (set-popup-rule! + (set-popup-rules! '(("\\*[Gg]eiser \\(?:[Mm]essages\\|DBG\\|Xref\\)\\*" :quit nil) ( "\\* [A-Za-z0-9_-]+ REPL \\*" :quit nil))) (map! :localleader