diff --git a/src/View/MainWindow.py b/src/View/MainWindow.py index f7010d0d0e8431c909f6f91afc8de19bb6f9dabf..7804aeef2aebccba569fce5af85fe88a2d7bf15a 100644 --- a/src/View/MainWindow.py +++ b/src/View/MainWindow.py @@ -363,12 +363,20 @@ class ApplicationWindow(QMainWindow, ListedSubWindow, WindowToolKit): self._last_solver = None self._last_results = None + default = None + for solver in self.conf.solvers: + if solver.name == "default-mage": + default = solver + if solver.name == self.conf.last_solver_name: self._last_solver = solver self.enable_actions("action_menu_results_last", True) return + # Last solver note found, use default-mage if exists + self._last_solver = default + def set_results(self, solver, results): self._last_solver = solver self._last_results = results