ninja-ide/ninja-ide — pull request #1241 by diegosarmentero (2013-06-02 22:57:59+00:00)
Title: Rewrite of ConsoleWidget

Rewrite of ConsoleWidget