Create command for prettifying document
Closed this issue · 0 comments
FlorianWoelki commented
As a user, I would like to prettify a whole document where I inserted arrows or symbols used by the symbols-prettifier before I installed the plugin.
The implementation can be through a command that formats the opened document.