ninja-ide/ninja-ide — pull request #1702 by diegosarmentero (2014-04-11 00:50:46+00:00)
Title: some ui improves

highlight current line in sidebar