ninja-ide/ninja-ide — pull request #341 by perrito666 (2012-03-21 01:09:11+00:00)
Title: Added a minimum time between project reloads

Time most likely will be adjusted in the future, it is 2 seconds now.