patch #562492 - prevent duplicate lines in history also call using_history() to properly initialize history variables
patch #562492 - prevent duplicate lines in history
also call using_history() to properly initialize history variables

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator