ninja-ide/ninja-ide — pull request #1136 by diegosarmentero (2013-03-12 17:57:11+00:00)
Title: final fix to SyntaxUserData

final fix to SyntaxUserData