A simple plugin for NINJA-IDE