Colorizing text editor for Dear ImGui, version for geogram (with callbacks) - View it on GitHub