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 @@ - + @@ -71,6 +71,18 @@ . + <\explain> + + )> + <|explain> + This convenience function appends to the list of values of + preference , or creates a list with one element in case the + preference didn't exist. The call-back associated to this preference, as + defined in is called once the modification is + done. + + <\explain> )>