NINJA-IDE Documentation
Modules
Classes
Functions
/listings
/ninja_ide
/gui
/index.html
explorer
misc
main_panel
dialogs
menus
editor
dynamic_splitter.py
actions.py
__init__.py
status_bar.py
central_widget.py
updates.py
notification.py
ide.py