diff options
-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")) |