ninja-ide/ninja-ide — pull request #474 by diegosarmentero (2012-05-07 21:07:29+00:00)
Title: Fixing some bugs in the console widget

Fixing some bugs in the console widget, still some work is need to be done, and some refactoring between some functions in the editor and console widget.