From 020d912b5ddd43689f67872aa3f631030e2bc39e Mon Sep 17 00:00:00 2001
From: Miguel de Benito <nonick@8027.org>
Date: Wed, 19 Sep 2012 12:45:41 +0000
Subject: [PATCH] Added append-preference as a convenience function

---
 devel/scheme/utils/utils-preferences.en.tm | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/devel/scheme/utils/utils-preferences.en.tm b/devel/scheme/utils/utils-preferences.en.tm
index 33e24ec..f355ffb 100644
--- a/devel/scheme/utils/utils-preferences.en.tm
+++ b/devel/scheme/utils/utils-preferences.en.tm
@@ -1,4 +1,4 @@
-<TeXmacs|1.0.7.16>
+<TeXmacs|1.0.7.15>
 
 <style|tmdoc>
 
@@ -71,6 +71,18 @@
     <scm|define-preferences>.
   </explain>
 
+  <\explain>
+    <scm|(append-preference <scm-arg|name>
+    <scm-arg|value>)><explain-synopsis|appends a value to the list for a
+    preference>
+  <|explain>
+    This convenience function appends <scm|value> to the list of values of
+    preference <scm|name>, or creates a list with one element in case the
+    preference didn't exist. The call-back associated to this preference, as
+    defined in <scm|define-preferences> is called once the modification is
+    done.
+  </explain>
+
   <\explain>
     <scm|(reset-preference <scm-arg|name>)><explain-synopsis|delete user
     preference>