ninja-ide/ninja-ide — pull request #432 by diegosarmentero (2012-04-02 19:33:34+00:00)
Title: Improve focus change.

Improve focus change.