markdown icon indicating copy to clipboard operation
markdown copied to clipboard

Published 20 hours ago • verified publisher icon texmacs

Save preferences as auxiliary data too

Open mdbenito opened this issue 2 years ago • 0 comments

Because they can vary from document to document. Document settings should take precedence. The problem would be with the UI. Maybe duplicate prefs under a "Document" submenu and add an option "clear document prefs" ?

mdbenito avatar Jul 21 '21 17:07 mdbenito