Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
preferences:hidden_preferences [2022/04/27 05:33] โ€“ Added Note Editor and PDF Reader sections dstillmanpreferences: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 ====
preferences/hidden_preferences.1651052033.txt.gz ยท Last modified: 2022/04/27 05:33 by dstillman