ninja-ide/ninja-ide — pull request #1011 by diegosarmentero (2012-12-01 20:36:54+00:00)
Title:  Jump to the proper item line.

Update on current tab changed