ninja-ide/ninja-ide — pull request #452 by diegosarmentero (2012-04-15 21:51:38+00:00)
Title: Improves in performance for opening and saving files.

Improves in performance for opening and saving files.