NINJA-IDE Documentation
Modules
Classes
Functions
/listings
/ninja_ide
/gui
/misc
/index.html
console_widget.py
plugin_preferences.py
run_widget.py
actions.py
find_in_files.py
__init__.py
misc_container.py
results.py
web_render.py
shortcut_manager.py