Re: when options)mule)set-coding-system is unselectable

[Richard Stallman]

    all I know is the user feels the current file is in the wrong coding
    system.  he finds options)mule)set-coding-system ... apparently just
    what he needs, but low and behold, unlike everything else on the menu,
    it is curiously unselectible, leaving him with nowhere else to turn.

    Just the command he needs, and it is unselectible.

If there were a menu item "visit again in new coding system",
would that make it clear what to do?