Which I believe GPUI is the same framework that Zed (the editor)[0] is using

[0]: http://zed.dev/