From 97cd150f3b16f383dd3c9fe9be59294300b0737e Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Fri, 8 Jun 2012 19:10:06 +0200 Subject: [PATCH] Make ein:shared-output-get-or-create more robust --- ein-shared-output.el | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/ein-shared-output.el b/ein-shared-output.el index 6ccaab1..61d6328 100644 --- a/ein-shared-output.el +++ b/ein-shared-output.el @@ -74,8 +74,15 @@ "Get the shared output buffer." (get-buffer-create ein:shared-output-buffer-name)) +(defun ein:shared-output-buffer () + (ewoc-buffer (oref ein:@shared-output :ewoc))) + +(defun ein:shared-output-healthy-p () + (and (ein:$shared-output-p ein:@shared-output) + (buffer-live-p (ein:shared-output-buffer)))) + (defun ein:shared-output-get-or-create () - (if ein:@shared-output + (if (ein:shared-output-healthy-p) ein:@shared-output (with-current-buffer (ein:shared-output-get-buffer) ;; FIXME: This is a duplication of `ein:notebook-from-json'.