A text editor widget for code editing
An framework for writing GTK applications with JavaScript/TypeScript
