.
original commit: c426204dd8e359dcf9488abdd1783a9685ff0d0e
This commit is contained in:
parent
ad499c8c88
commit
ee784bf24b
|
@ -196,6 +196,12 @@
|
||||||
"@flink preferences:set-default"
|
"@flink preferences:set-default"
|
||||||
"for this preference, the default value is used."
|
"for this preference, the default value is used."
|
||||||
""
|
""
|
||||||
|
"The \\var{marshall} function might be called with any value returned"
|
||||||
|
"from \\scheme{read} and it must not raise an error (although it"
|
||||||
|
"can return arbitrary results if it gets bad input). This might"
|
||||||
|
"happen when the preferences file becomes corrupted, or is edited"
|
||||||
|
"by hand."
|
||||||
|
""
|
||||||
"\\rawscm{preference:set-un/marshall} must be called before calling"
|
"\\rawscm{preference:set-un/marshall} must be called before calling"
|
||||||
"@flink preferences:get "
|
"@flink preferences:get "
|
||||||
"or "
|
"or "
|
||||||
|
|
Loading…
Reference in New Issue
Block a user