ninja-ide/ninja-ide — pull request #751 by diegosarmentero (2012-07-21 02:12:43+00:00)
Title: some style improves

some style improves