diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:49:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:49:50 +0000 |
| commit | 09929d6f496ed36d08988dc5397af97fb486d7ff (patch) | |
| tree | aaba0e14c381e2a168b04b5e2617976165104e44 /generic/proof-menu.el | |
| parent | 79ba02419da4f6371cc64e881859858be3d82711 (diff) | |
replace-in-string -> replace-regexp-in-string
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index a806293f..2f9da74f 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -741,10 +741,10 @@ KEY is the optional key binding." (let ((grp (get symbol 'pggroup)) (nm (symbol-name symbol))) (upcase-initials - (replace-in-string + (replace-regexp-in-string "-" " " ;; strip the group name from the menu entry name. - (if grp (replace-in-string nm (concat (downcase grp) ":") "") nm) - "-" " ")))) + (if grp (replace-regexp-in-string (concat (downcase grp) ":") "" nm) + nm))))) (defun proof-menu-entry-for-setting (symbol setting type descr) (let ((entry-name (proof-menu-entry-name symbol)) |