 	 ;; We don't do everything that widget-button-click does -- i.e.
 	 ;; we don't change the link color on button down -- but that's
 	 ;; not important.
-	 (add-local-hook
-	  'mouse-track-click-hook
-	  #'(lambda (event count)
-	      (cond
-	       ((widget-event-point event)
-		(let* ((pos (widget-event-point event))
-		       (button (get-char-property pos 'button)))
-		  (when button
-		    (widget-apply-action button event)
-		    t))))))
+	 ;; (add-local-hook
+	 ;;  'mouse-track-click-hook
+	 ;;  #'(lambda (event count)
+	 ;;      (cond
+	 ;;       ((widget-event-point event)
+	 ;;        (let* ((pos (widget-event-point event))
+	 ;;               (button (get-char-property pos 'button)))
+	 ;;          (when button
+	 ;;            (widget-apply-action button event)
+	 ;;            t))))))
 	 (set-specifier left-margin-width about-left-margin (current-buffer))
 	 (set (make-local-variable 'widget-button-face) 'about-specware-link-face)
 	 nil)))

	    (error "Can't find any imports of %s." spec-name)
	  (goto-specware-search-result spec-name (sw:sort-search-results results)))))

;;;; Prompt regexp for specware shell
(defvar *lisp-prompt-regexp*)		; make buffer local?


  (define-key map "\C-ch"    'sw:convert-spec-to-haskell)
  (define-key map "\C-cH"    'sw:convert-top-spec-to-haskell)

  (define-key map [C-S-down-mouse-3] 'sw:show-containing-object)
					          ; Franz binding
;  (define-key map "\C-cs"    'insert-circle-s)    ; Process to debug
;  (define-key map "\C-c`"    'insert-open-quote)
