Was it BaKoMa TeX [0] perhaps?

[0]: https://bakoma-tex.daniel-aldrich.ca/home

I don't remember the name, this one also looks cool.