ninja-ide/ninja-ide — pull request #564 by diegosarmentero (2012-05-31 19:14:20+00:00)
Title: Fixing open files bug

Fixing open files bug