From 264fffbf0868a94485b162c516831b61b42c9edb Mon Sep 17 00:00:00 2001 From: Alfredo Beaumont Date: Sat, 5 Jul 2008 23:30:04 +0200 Subject: [PATCH] factor.el: factor-run-file ask to save if source has been modified. Add factor-display-output-buffer to optionally show factor buffer. --- misc/factor.el | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/misc/factor.el b/misc/factor.el index 300c95c430..5c9d050468 100644 --- a/misc/factor.el +++ b/misc/factor.el @@ -29,6 +29,12 @@ (defvar factor-mode-syntax-table nil "Syntax table used while in Factor mode.") +(defcustom factor-display-compilation-output t + "Display the REPL buffer before compiling files." + :type '(choice (const :tag "Enable" t) (const :tag "Disable" nil)) + :group 'factor) + + (if factor-mode-syntax-table () (let ((i 0)) @@ -139,9 +145,20 @@ (defun factor-run-file () (interactive) + (when (and (buffer-modified-p) + (y-or-n-p (format "Save file %s? " (buffer-file-name)))) + (save-buffer)) + (when factor-display-compilation-output + (factor-display-output-buffer)) (comint-send-string "*factor*" (format "\"%s\"" (buffer-file-name))) (comint-send-string "*factor*" " run-file\n")) +(defun factor-display-output-buffer () + (with-current-buffer "*factor*" + (goto-char (point-max)) + (unless (get-buffer-window (current-buffer) t) + (display-buffer (current-buffer) t)))) + ;; (defun factor-send-region (start end) ;; (interactive "r") ;; (comint-send-region "*factor*" start end)