diff options
| author |  weber <> | 2007-05-11 14:58:57 +0000 |
|---|---|---|
| committer | weber <> | 2007-05-11 14:58:57 +0000 |
| commit | fc87a12adf5e07e262fbe5209aa75d88812c0474 (patch) | |
| tree | 8d1ee869bb751e20968329be9486baf6bd26ff48 | |
| parent | 15363949f73a355a2fd4338ca260a97ebd3f500f (diff) | |
works with XEmacs now (ticket #115)
| -rw-r--r-- | isar/isar-find-theorems.el | 4 |
1 files changed, 1 insertions, 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: ") |