ninja-ide/ninja-ide — pull request #23 by diegosarmentero (2011-10-31 23:17:49+00:00)
Title: Several improves in performance for the editor and scroll, locator popup improved.

Several improves in performance for the editor and scroll, locator popup improved.