Re: shell-mode input history on windows