According to their website they offer full support. We should lose nothing. Checkout out their videos on the website i mentioned above. There are lots of demos of the widgets and how they work.
The editor to make themes etc (you can build menus, assign fonts, mouse pointer etc..) is called CEED and reference on the cegui website. It is python based.