diff options
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index a37bcf85..4eabdb64 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -558,7 +558,9 @@ No effect if buffer is dead." If proof-general-debug is nil, do nothing." (if proof-general-debug (let ((formatted (apply 'format msg args))) - (display-warning 'proof-general formatted 'info)))) + (display-warning 'proof-general + formatted 'debug + "*PG Debug*")))) ;; Utility used in the "Buffers" menu, and throughout (defun proof-switch-to-buffer (buf &optional noselect) |