ninja-ide/ninja-ide — pull request #1500 by diegosarmentero (2014-01-01 03:28:06+00:00)
Title: checking for unsaved files before closing

Also: Results widget working.