From e5fb11a219ea7463510fa6ed57fb5236a5f83f0a Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 10 Nov 2016 19:50:24 +0100 Subject: [PATCH] chore(emacs/lean-debug): toggle via `lean-debug-mode` and automatically open debug buffer --- src/emacs/lean-debug.el | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/src/emacs/lean-debug.el b/src/emacs/lean-debug.el index 323374c1b8..23bddad780 100644 --- a/src/emacs/lean-debug.el +++ b/src/emacs/lean-debug.el @@ -13,6 +13,8 @@ (when (or (called-interactively-p 'any) print-msg) (message "lean: turn on debug mode")) (get-buffer-create lean-debug-buffer-name) + (display-buffer lean-debug-buffer-name 'display-buffer-reuse-window + '((reusable-frames . t))) (setq-local lean-debug-mode t))) (defun lean-turn-off-debug-mode (&optional print-msg) @@ -22,12 +24,6 @@ (message "lean: turn off debug mode")) (setq-local lean-debug-mode nil))) -(defun lean-toggle-debug-mode () - (interactive) - (if lean-debug-mode - (lean-turn-off-debug-mode (called-interactively-p 'any)) - (lean-turn-on-debug-mode (called-interactively-p 'any)))) - (defun lean-output-to-buffer (buffer-name format-string args) (with-current-buffer (get-buffer-create buffer-name) @@ -56,6 +52,9 @@ :init-value nil :lighter lean-debug-mode-line :group 'lean - :require 'lean) + :require 'lean + (if lean-debug-mode + (lean-turn-on-debug-mode (called-interactively-p 'any)) + (lean-turn-off-debug-mode (called-interactively-p 'any)))) (provide 'lean-debug)