diff options
| author | weber | 2007-05-17 15:19:56 +0000 |
|---|---|---|
| committer | weber | 2007-05-17 15:19:56 +0000 |
| commit | ac58f98f0ea13508d2e1d0b9bcbeaacce0541b0b (patch) | |
| tree | 713d23a8f380d194c520ac97fe8eb638fa4dbc6e | |
| parent | 35b4b49f45fa204dbb3c1473c91835f60a8ed87b (diff) | |
XEmacs 21.4.15 does not seem to know propertize
| -rw-r--r-- | isar/isar-find-theorems.el | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el index ece12a98..2e007e78 100644 --- a/isar/isar-find-theorems.el +++ b/isar/isar-find-theorems.el @@ -120,7 +120,11 @@ (switch-to-buffer "*Find Theorems*") (widget-insert - (concat "\n " (propertize "Find Theorems" 'face 'bold) "\n\n")) + (concat "\n " + (if (fboundp 'propertize) + (propertize "Find Theorems" 'face 'bold) + "Find Theorems") + "\n\n")) ;; pattern (widget-insert " Search pattern: ") @@ -230,9 +234,11 @@ ;; errmsg (if errmsg - (widget-insert (concat "\n " (propertize - (concat errmsg "\n See help for details.") - 'face (list :foreground "red")) "\n"))) + (widget-insert (concat "\n " + (if (fboundp 'propertize) + (propertize (concat errmsg "\n See help for details.") 'face 'bold) + (concat errmsg "\n See help for details.")) + "\n"))) (use-local-map widget-keymap) (widget-setup) |