Next round of fixups for font-lock and x-symbol.

1 files changed, 10 insertions, 0 deletions

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)))