From 7eb0caa57bf463efdc97ce9164b4203f382ef506 Mon Sep 17 00:00:00 2001
From: tcarver <tjc>
Date: Fri, 18 May 2012 16:11:18 +0100
Subject: [PATCH] write project file properties on exit
---
uk/ac/sanger/artemis/components/Splash.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/uk/ac/sanger/artemis/components/Splash.java b/uk/ac/sanger/artemis/components/Splash.java
index b34d34e68..15b4e52c0 100644
--- a/uk/ac/sanger/artemis/components/Splash.java
+++ b/uk/ac/sanger/artemis/components/Splash.java
@@ -784,6 +784,9 @@ abstract public class Splash extends JFrame
if(save_wd_properties || save_display_name || save_systematic_names ||
Options.getOptions().getProperty("artemis.user.dir.prompt") != null)
saveProperties();
+
+ // write the user project properties
+ ProjectProperty.writeProperties();
System.exit(0);
}
--
GitLab