From ee53106260209cd41f6eb014458f8ec37664453d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 11 Nov 1999 15:33:44 +0000 Subject: Next round of fixups for font-lock and x-symbol. --- etc/junk.el | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'etc') diff --git a/etc/junk.el b/etc/junk.el index 46da7f0c..d16b7f61 100644 --- a/etc/junk.el +++ b/etc/junk.el @@ -57,3 +57,13 @@ arrive." ; (setq font-lock-defaults '(proof-font-lock-defaults))))) ; (put major-mode 'font-lock-defaults (list flks))))) + + +;; dump str to buffer ug for testing. +(defun ugit (str) + (save-excursion + (set-buffer (get-buffer-create "ug")) + (goto-char (point-max)) + (insert str) + (newline) + (newline))) -- cgit v1.2.3