Mark Tiffany #1 Ta. I'll take a look at ce ide on gtk later, but probably not the best place for you to start when trying to find a bug. Does the official IDE compile okay with gtk?