diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-14 20:56:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-14 20:56:43 +0000 |
| commit | cd5f91bb404dd521e4096fa9bf903612b0e1d747 (patch) | |
| tree | 4d2222260783ff5d80854a1ee57863a656a50072 | |
| parent | 75e887bef7a8551728743f5d8d592aca0c5edc05 (diff) | |
Remove font lock settings for now
| -rw-r--r-- | lib/pg-dev.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 90e3d2bd..101c9de9 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -32,9 +32,9 @@ (put 'proof-map-buffers 'lisp-indent-function 'defun) (put 'proof-with-current-buffer-if-exists 'lisp-indent-function 'defun) -FIXME: see font-lock.el (defconst pg-dev-lisp-font-lock-keywords (list + ;; FIXME: used to work but now not quite right, see font-lock.el to fix (concat "(\\(def\\(" ;; also proof-def ;; Function like things "^(\\(proof-def.*\\|defpg.*\\|defpa.*\\|.*asscustom\\)" @@ -49,10 +49,10 @@ FIXME: see font-lock.el (t 'font-lock-function-name-face)) nil t))) -(add-hook 'emacs-lisp-mode-hook - '(lambda () - (font-lock-add-keywords 'emacs-lisp-mode - pg-dev-lisp-font-lock-keywords))) +;(add-hook 'emacs-lisp-mode-hook +; '(lambda () +; (font-lock-add-keywords 'emacs-lisp-mode +; pg-dev-lisp-font-lock-keywords))) ;;; |