library: Stop execution when window is closed

Author: tchx84

src/gameeky/library/coder.py

@@ -181,7 +181,11 @@ def __on_closed(self, window: Window) -> bool:
         return True
 
     def __on_discarded(self, dialog: ConfirmationSaveWindow) -> None:
-        self.quit()
+        if self._window is None:
+            return
+
+        self._pending_changes = False
+        self._window.close()
 
     def __on_edit(self, action: Gio.SimpleAction, data: Optional[Any] = None) -> None:
         dialog = SessionSettingsWindow(transient_for=self._window)

src/gameeky/library/widgets/window.py

@@ -182,14 +182,17 @@ def _restore_ui(self) -> None:
         self.execute_button.props.visible = True
         self.stop_button.props.visible = False
 
-    @Gtk.Template.Callback("on_stop_clicked")
-    def __on_stop_clicked(self, button: Gtk.Button) -> None:
+    def _stop(self) -> None:
         if self._process is None:
             return
 
         self._cancellable.cancel()
         self._process.force_exit()
 
+    @Gtk.Template.Callback("on_stop_clicked")
+    def __on_stop_clicked(self, button: Gtk.Button) -> None:
+        self._stop()
+
     def __on_source_changed(
         self,
         buffer: Gtk.TextBuffer,
@@ -218,3 +221,7 @@ def source(self, text: str) -> None:
         self.source_buffer.handler_block(self._handler_id)
         self.source_buffer.props.text = text
         self.source_buffer.handler_unblock(self._handler_id)
+
+    def do_close_request(self) -> bool:
+        self._stop()
+        return False