No idea, but 4ian is developing a new IDE, if everything goes well we will have a JS based IDE easy to port to multiple platforms with almost no effort :
[url]GDevelop 5 new editor - Beta versions]
No idea, but 4ian is developing a new IDE, if everything goes well we will have a JS based IDE easy to port to multiple platforms with almost no effort :
[url]GDevelop 5 new editor - Beta versions]