From 7628f46fe0b35eec8ae6d4045693ca3f9598819d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Sat, 22 Jan 2022 18:24:32 +0100
Subject: M  save.pl M  save.pl~

---
 save.pl  | 2 +-
 save.pl~ | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/save.pl b/save.pl
index 766efd8..47121fe 100644
--- a/save.pl
+++ b/save.pl
@@ -95,4 +95,4 @@ commited(S) :-
 	     'Files could not be saved.').
 
 commited(_) :-
-	halt.
+	send(@pce, destroy).
diff --git a/save.pl~ b/save.pl~
index 5c1ec14..766efd8 100644
--- a/save.pl~
+++ b/save.pl~
@@ -94,5 +94,5 @@ commited(S) :-
 	send(@display, report, error,
 	     'Files could not be saved.').
 
-commited(exit(_)) :-
+commited(_) :-
 	halt.
-- 
cgit v1.2.3