diff options
| author | David Aspinall | 2009-09-11 12:03:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-11 12:03:17 +0000 |
| commit | 49dd626db18b2a69648d8b25c0e1209baa848ee8 (patch) | |
| tree | e43cabcf12d8ee62e808a5b7d419c9197ca63df7 /generic | |
| parent | 3404c18ea1d2cfed7812a5c7d774f5dc85ed5b2a (diff) | |
Our own buffer for debug messages
Diffstat (limited to 'generic')
| -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) |