ninja-ide/ninja-ide — pull request #1284 by malderete (2013-07-02 22:46:12+00:00)
Title: Missing attribute in the __init__

Added missing attr in the initialization of ConsoleWidget (ConsoleWidget.history_index).
Without this initialization if the user press UP/Down keys and the ConsoleWidget._history still empty the ConsoleWidget fail until the user enter some command.