ninja-ide/ninja-ide — pull request #846 by dead5 (2012-09-17 14:18:32+00:00)
Title: Fixed issue 813

IChanged 'design' to 'designed' as in issue #813