I have been using GNAT Studio (previously GNAT Programming Studio or GPS) on Linux for the last 15 years.