From d9cd3030cc2b1c0f074f9fc5efd7d63fc4369710 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Jun 2003 21:39:38 +0000
Subject: Extend proof-shell-identifier-under-mouse to allow regions, and also
 depend on buffer context.

---
 isar/isar.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 615d40e2..b7b87a43 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -247,7 +247,10 @@ See -k option for Isabelle interface script."
    proof-shell-theorem-dependency-list-regexp "Proof General, theorem dependencies of \\(.*\\) are \"\\(.*\\)\"\361"
    proof-shell-theorem-dependency-list-split "\" \""
    proof-shell-show-dependency-cmd "thm %s;"
-   proof-shell-identifier-under-mouse-cmd "thm %s;"
+   proof-shell-identifier-under-mouse-cmd 
+   '((nil     "thm %s;")
+     (string  "term \"%s\";")
+     (comment "term \"%s\";"))
 
    ;; Allow font-locking for output based on hidden annotations, see
    ;; isar-output-font-lock-keywords-1
-- 
cgit v1.2.3