Thierry Crozat 32bbf489e9 GUI: Add exitLoop() method to GuiManager
The idea is to allow backends to start a game even after the
LauncherDialog has been created, and for that they need a way
to close the existing GUI dialogs.
2020-09-13 00:21:34 +01:00
..
2020-09-02 12:39:13 +02:00
2020-08-30 14:43:41 +02:00
2020-08-30 14:43:41 +02:00
2020-05-10 23:39:31 +02:00
2020-08-30 14:43:41 +02:00
2020-08-30 14:43:41 +02:00
2020-08-30 14:43:41 +02:00
2020-08-24 14:19:30 +02:00
2020-08-24 14:19:30 +02:00
2020-08-30 14:43:41 +02:00
2020-06-22 00:03:02 +02:00
2020-08-30 14:43:41 +02:00
2020-08-30 14:43:41 +02:00
2020-08-30 14:43:41 +02:00