269
268
return; // We only get here though normal termination by the user.
270
269
} catch (const WLWarning& e) {
271
270
// WLWarning is reserved for bad circumstances that are (most likely) not a bug.
277
271
show_messagebox(e.title(), e.what());
278
272
} catch (const std::exception& e) {
279
273
// This is the outermost wrapper within the GUI and should only very rarely be reached.
280
274
// Most likely we got here through a bug in Widelands.