ninja-ide/ninja-ide — pull request #209 by diegosarmentero (2012-01-20 23:35:32+00:00)
Title: Fixing critical bug (segmentation fault) in runwidget. 

Adding docstrings.