ImGuiColorTextEdit integration: introduction and acknowledgements

[pthom]

ImGuiColorTextEdit is a quite useful colorizing text editor for ImGui. Unfortunately, it is not actively maintained, although the last version works superbly, and is easy to patch!

Python bindings

The python bindings API is extremely simple to understand.

Example usage

• In C++
• In python

Fork

ImGui Bundle uses a fork of ImGuiColorTextEdit on the imgui_bundle branch.

This fork groups several modifications done in other forks, and adds limited syntactic support for Python.

Full diff