From fc87a12adf5e07e262fbe5209aa75d88812c0474 Mon Sep 17 00:00:00 2001
From: weber
Date: Fri, 11 May 2007 14:58:57 +0000
Subject: works with XEmacs now (ticket #115)

---
 isar/isar-find-theorems.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el
index 2f1d0275..7be415a8 100644
--- a/isar/isar-find-theorems.el
+++ b/isar/isar-find-theorems.el
@@ -120,9 +120,7 @@
   (switch-to-buffer "*Find Theorems*")
 
   (widget-insert
-    (concat "\n  " (propertize "Find Theorems"
-      'face (list :height 200 :weight 'extra-bold))
-      "\n\n"))
+    (concat "\n  " (propertize "Find Theorems" 'face 'bold) "\n\n"))
 
   ;; pattern
   (widget-insert "  Search pattern: ")
-- 
cgit v1.2.3