Code editor in C++, via gtk, scripting in ChaiScript