Bug: missing coloredtexteditor

### Version

latest

### What happened?

i know this is not the right tag to make this request but the text editor for imgui is not included in extensions and I need it to make a editor

### Reproduction



### Relevant log output

```bash

```