texmacs
/
doc
mirror of https://github.com/texmacs/doc.git
1
0
Fork 0
Code

Minor documentation update

This commit is contained in:
Miguel de Benito 2013-01-14 18:35:25 +00:00
parent 209ef8eed5
commit 182719ae43
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
devel/scheme/utils/utils-preferences.en.tm
View File

@ -1,4 +1,4 @@
<TeXmacs|1.0.7.15> <TeXmacs|1.0.7.17>
<style|tmdoc> <style|tmdoc>
@ -94,7 +94,8 @@
<scm|(get-preference <scm-arg|name>)><explain-synopsis|get user <scm|(get-preference <scm-arg|name>)><explain-synopsis|get user
preference> preference>
<|explain> <|explain>
Returns the value of preference <scm|name>. Returns the value of preference <scm|name>. If the preference is not
defined the string <scm|"default"> is returned.
</explain> </explain>
<tmdoc-copyright|2012|> <tmdoc-copyright|2012|>