> However, I do think that highlighting prompts in the > minibuffer is a good idea even in situations where the minibuffer is > not used directly. Could you try the attached patch? Thanks, martin.