From 0d96b563682ca5e25d380e25f0e0948db7ae16d9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 Nov 1999 15:41:54 +0000 Subject: Made display table stuff interactive. --- generic/proof-shell.el | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'generic') 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))) -- cgit v1.2.3