- Nicer dialog destruction (no flicker) - refresh of panels after a drop. - Pause after run is gone in the gnome edition. - Improved layout for options dialog box. - Checkbox widgets are implemented, they now work. Miguel.
Thanks DrMike for the detailed listing of problems. Miguel.