From 9b48ef31aeaf14c9be09eac6800db95a5fa9dc51 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 09:16:55 +0000
Subject: Make bug references clickable

---
 lib/pg-dev.el | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

(limited to 'lib/pg-dev.el')

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)
 
-- 
cgit v1.2.3