ninja-ide/ninja-ide — pull request #178 by diegosarmentero (2012-01-11 01:37:41+00:00)
Title: Improving handling of currentTabChanged and fileOpened signals for plugins

Improving handling of currentTabChanged and fileOpened signals for plugins