Hacker News new | ask | show | jobs
by altschuler 1972 days ago
The text editor is this one https://github.com/BalazsJako/ImGuiColorTextEdit, it's listed on the third-party attributions page (https://www.tejotron.com/thirdparty.html)