What's the name of this html builder?

[CyberBukit]

Happy new year!

I saw several authors on ThemeForest using a similar HTML builder (see screenshot as follows), some of them have also customized it. Can anyone kindly let me know the name of the editor?

Thanks

[mgscoder]

I think flatpak-builder