diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:36:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:36:01 +0000 |
commit | d9670530c8b40b455a437821147dd6c202e8e705 (patch) | |
tree | 1eb9e1cc33086da49bca114569d493f2ab92ff70 | |
parent | 41a36b7b3c5aedfdacfd4b25dbd37581fadb7030 (diff) |
Tweaks
-rw-r--r-- | lib/pg-dev.el | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 059c7764..38c24400 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -29,7 +29,7 @@ (flyspell-prog-mode) (customize-set-variable 'whitespace-action '(cleanup)) (define-key emacs-lisp-mode-map [(control c)(control c)] - 'emacs-lisp-byte-compile-and-load) + 'emacs-lisp-byte-compile) (add-hook 'write-file-functions 'whitespace-write-file-hook nil t) (add-hook 'before-save-hook @@ -72,6 +72,17 @@ ; pg-dev-lisp-font-lock-keywords))) +;; +;; Path set for a clean environment to byte-compile within Emacs +;; without loading. +;; + +(defun pg-loadpath () + (interactive) + (add-to-list 'load-path "../generic/") + (add-to-list 'load-path "../lib/")) + + ;;; ;;; Unload utility (not wholly successful) ;;; @@ -113,7 +124,11 @@ (elp-instrument-package "coq") (elp-instrument-package "isar") (elp-instrument-package "span") - (elp-instrument-package "spans") + (elp-instrument-package "replace-") ; for replace-regexp etc + (elp-instrument-package "re-search-") ; for re-search-forwad etc + (elp-instrument-package "skip-chars-") ; for skip chars etc + (elp-instrument-function 'string-match) + (elp-instrument-function 'match-string) (elp-instrument-package "font-lock")) |