minor fixes

- fixed the visualization window event handling by removing the nested mainloop() from VizView.show(), which previously opened a second Tk event loop for a Toplevel window.
- Fixed the startup warning scheduling in mplace.py so _show_startup_warnings is passed to after() as a callback instead of being executed immediately.
- Fixed a UI lock issue in the MiniZinc workflow where cancelling layout export format selection could leave the main window locked.
- Fixed recent-file handling so opening a file from the Recent menu no longer re-adds the same file unnecessarily.
- Improved cleanup of visualization resources by removing the ineffective local del canvas pattern and relying on explicit widget and figure teardown instead.
- Improved consistency of the visualization window lifecycle by using normal Toplevel window behaviour instead of a second application loop.
- Cleaned up small documentation inconsistencies

Author: RamizGindullin-UU

controllers/minizinc_controller.py

@@ -167,7 +167,7 @@ def extract_csv_from_output(self, output: str) -> List[str]:
             raise ValueError(f"Could not extract CSV from output: {e}") from e
 
     def get_timeout(self, use_compd: bool) -> Optional[int]:
-        """Return timeout in seconds from a MiniZinc .mpc file, or None if absent/unreadable."""
+        """Return timeout in seconds for the selected model."""
         if use_compd:
             return self._parse_timeout_s(self.app_config.compd_mpc_path)
         else:

models/application_state.py

@@ -57,7 +57,7 @@ class ApplicationState:
     # Plate configuration
     num_rows: str = PlateDefaults.ROWS
     num_cols: str = PlateDefaults.COLS
-    control_names: str = '[]'
+    control_names: str = PlateDefaults.CONTROL_NAMES
 
     # Model selection
     use_compd: bool = False

mplace.py

@@ -43,7 +43,7 @@
 from models.constants import PathsIni, Messages
 
 
-logger = logging.getLogger(__name__)    
+logger = logging.getLogger(__name__)
 
 def setup_logging() -> None:
     """Configure application-wide logging."""
@@ -226,7 +226,7 @@ def run(self) -> None:
         logger.info("Starting MPLACE application main loop")
 
         # Display startup warnings for missing configurations
-        self.root.after(1, self._show_startup_warnings())
+        self.root.after(1, self._show_startup_warnings)
 
         self.views['main'].show()
 

views/dzn_view.py

@@ -17,7 +17,7 @@
 # Pure view layer - handles only UI display and user input.
 #
 # Authors: Ramiz GINDULLIN (ramiz.gindullin@it.uu.se)
-# Version: 1.3.0
+# Version: 1.3.1
 # Last Revision: March 2026
 #
 
@@ -365,6 +365,7 @@ def _on_close(self) -> None:
 
     def show(self) -> None:
         """Show the DZN generation window."""
+        self.reset_to_defaults()
         self.window.deiconify()
         self.window.grab_set()
 

views/main_view.py

@@ -202,7 +202,6 @@ def _apply_config_defaults(self) -> None:
         - Auto-selects a valid model if current selection is unavailable
 
         Called from:
-        - __init__() during startup
         - _set_program_state_to_default() to reapply after clearing state
         """
         logger.info("Applying config defaults")
@@ -442,6 +441,8 @@ def _poll_mzn_result(self, model_name: str, dzn_path: str, original_text: str) -
             if not chosen_format:
                 self.label_csv_loaded.config(text=original_text)
                 logger.info("User cancelled format selection")
+                self.unlock()
+                self.root.focus_force()
                 return
 
             # Save in chosen format
@@ -542,10 +543,8 @@ def _open_recent_file(self, path: str, is_dzn: bool) -> None:
                 self.root.focus_force()
                 return
             self._update_run_minizinc_button_state()
-            self._add_to_recent(path, True)
         else:
             self._load_csv_into_ui(path)
-            self._add_to_recent(path, False)
         self.root.focus_force()
 
     def _refresh_recent_menus(self) -> None:

views/viz_view.py

@@ -17,7 +17,7 @@
 # Pure view layer - handles only UI display and matplotlib visualization.
 #
 # Authors: Ramiz GINDULLIN (ramiz.gindullin@it.uu.se)
-# Version: 1.3.0
+# Version: 1.3.1
 # Last Revision: March 2026
 #
 
@@ -155,7 +155,7 @@ def show(
             self.window.geometry(f'+{x}+{y}')
             logger.debug("Entering visualization window mainloop")
 
-            self.window.mainloop()
+            self.parent.wait_window(self.window)
 
         except Exception as e:
             logger.error(f"Visualization error: {e}")
@@ -477,7 +477,6 @@ def _cleanup_and_close(self) -> None:
         finally:
             if self.window:
                 logger.info("Visualization window closed")
-                self.window.quit()
                 self.window.destroy()
                 self.window = None
                 self.parent.focus_force()
@@ -494,8 +493,9 @@ def _cleanup_canvas_widgets(self, widget: tk.Misc) -> None:
                 canvas = widget.canvas_ref
                 fig = canvas.figure
                 canvas.get_tk_widget().destroy()
+                canvas.get_renderer()
                 pyplot.close(fig)
-                del canvas
+                del widget.canvas_ref
                 logger.debug("Canvas cleaned up")
             except (AttributeError, tk.TclError):
                 pass