Re: [Hugs] #14: WinHugs: Command history