Johan Goossens has rewritten Balázs Jákó's ImGuiColorTextEdit text editor widget (which has been unmaintained for years and had various forks) and made a newer version, with many fancy features: https://github.com/goossens/ImGuiColorTextEdit