diff options
| author | David Aspinall | 2009-09-05 09:16:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 09:16:55 +0000 |
| commit | 9b48ef31aeaf14c9be09eac6800db95a5fa9dc51 (patch) | |
| tree | 2bebcf028006f0e09ee22de447e1949536d1c9ea /lib | |
| parent | 09929d6f496ed36d08988dc5397af97fb486d7ff (diff) | |
Make bug references clickable
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/pg-dev.el | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 723e1e59..6ac24bce 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -91,9 +91,9 @@ -;;; -;;; Proling interesting packages -;;; +;; +;; Proling interesting packages +;; (defun profile-pg () (interactive) @@ -105,6 +105,24 @@ (elp-instrument-package "isar")) +;; +;; Make references to bugs clickable; [e.g., trac #1] +;; + +(defun pg-bug-references () + (interactive) + (bug-reference-mode 1) + (setq bug-reference-bug-regexp + "\\(?:[Tt]rac ?#\\)\\([0-9]+\\)" + bug-reference-url-format + "http://proofgeneral.inf.ed.ac.uk/trac/ticket/%s")) + +(add-hook 'emacs-lisp-mode-hook 'pg-bug-references) +(add-hook 'isar-mode-hook 'pg-bug-references) +(add-hook 'coq-mode-hook 'pg-bug-references) + +(add-hook 'emacs-lisp-mode-hook 'goto-address-mode) + (provide 'pg-dev) |