ninja-ide/ninja-ide — pull request #1187 by diegosarmentero (2013-04-12 11:33:16+00:00)
Title: fix status bar disconnect editor issue

fix status bar disconnect editor issue