ninja-ide/ninja-ide — pull request #190 by diegosarmentero (2012-01-14 17:52:24+00:00)
Title: Close preferences dialog on reset preferences.

Close preferences dialog on reset preferences.