description "GLCtrl widget example\377"; uses GLCtrl, CodeEditor; file main.cpp; mainconfig "" = "GUI", "" = "GUI X11";