ninja-ide/ninja-ide — pull request #56 by malderete (2011-11-15 02:57:13+00:00)
Title: Glitch in plugin_manager (dialog)

A small glitch in plugin manager (web interface), plus a new functionallity for plugins
"beforeFileSaved" signal for make changes before save a file :)