Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
preferences:hidden_preferences [2022/04/27 05:33] โ Added Note Editor and PDF Reader sections dstillman | preferences:hidden_preferences [2023/04/12 05:47] (current) โ [Note Editor] dstillman | ||
---|---|---|---|
Line 34: | Line 34: | ||
^Preference Name^Default Value^Description^ | ^Preference Name^Default Value^Description^ | ||
+ | |note.css||Custom CSS to apply to note content| | ||
+ | |note.fontSize|14|Note font size โ settable from the View menu, but other values (including decimals) can be set manually| | ||
|note.smartQuotes|true|Automatically convert straight quotes to typographic quotes| | |note.smartQuotes|true|Automatically convert straight quotes to typographic quotes| | ||
==== Translator Preferences ==== | ==== Translator Preferences ==== |