GB: Export GNATbench preferences like CDT GNATbench preferences can now be exported via the export preferences wizard and imported into another workspace via the import preferences wizard.