652 |
(defcustom ido-separator nil |
(defcustom ido-separator nil |
653 |
"*String used by ido to separate the alternatives in the minibuffer. |
"*String used by ido to separate the alternatives in the minibuffer. |
654 |
Obsolete. Set 3rd element of `ido-decorations' instead." |
Obsolete. Set 3rd element of `ido-decorations' instead." |
655 |
:type 'string |
:type '(choice string (const nil)) |
656 |
:group 'ido) |
:group 'ido) |
657 |
|
|
658 |
(defcustom ido-decorations '( "{" "}" " | " " | ..." "[" "]" " [No match]" " [Matched]") |
(defcustom ido-decorations '( "{" "}" " | " " | ..." "[" "]" " [No match]" " [Matched]") |