diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 15:41:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 15:41:54 +0000 |
| commit | 0d96b563682ca5e25d380e25f0e0948db7ae16d9 (patch) | |
| tree | 6e0577a652f1898de53369fd4f26900bf82cd026 /generic | |
| parent | 6fb1e482583a541aa89ec35929b842bdadad3c03 (diff) | |
Made display table stuff interactive.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 5f9794f7..60eef074 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1618,6 +1618,7 @@ output." "Set display values of annotations in BUFFER to be invisible. Annotations are characters 128-255." + (interactive) (with-current-buffer (or buffer (current-buffer)) (let ((disp (make-display-table)) (i 128)) @@ -1629,9 +1630,13 @@ Annotations are characters 128-255." ((boundp 'buffer-display-table) (setq buffer-display-table disp)))))) -;; This is for debugging only. XEmacs only. (defun proof-shell-show-annotations () - "Remove display table specifier from current buffer." + "Remove display table specifier from current buffer. +This function is for testing purposes only, to reveal 8-bit characters +in the shell buffer. Use proof-shell-dont-show-annotations to turn +them off again. +XEmacs only." + (interactive) (remove-specifier current-display-table (current-buffer))) |