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