Add context-sensitive input history.
Remove spurious print from mkticks()