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