diff options
Diffstat (limited to 'doc/ref/api-options.texi')
-rw-r--r-- | doc/ref/api-options.texi | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/doc/ref/api-options.texi b/doc/ref/api-options.texi index 9d65b590f..7caba0c78 100644 --- a/doc/ref/api-options.texi +++ b/doc/ref/api-options.texi @@ -513,8 +513,18 @@ Here is the list of print options generated by typing values. @smallexample -source no Print closures with source. -closure-hook #f Hook for printing closures. +quote-keywordish-symbols reader How to print symbols that have a colon + as their first or last character. The + value '#f' does not quote the colons; + '#t' quotes them; 'reader' quotes + them when the reader option + 'keywords' is not '#f'. + +highlight-prefix @{ The string to print before highlighted values. +highlight-suffix @} The string to print after highlighted values. + +source no Print closures with source. +closure-hook #f Hook for printing closures. @end smallexample |