CJ Bell

Optionally add timing information to idtac output

track compute times for each sentence

1

additionally: - indicate long-running commands (e.g. an icon or annotation) - user-configured alert when a command longer than X minutes completes

See: https://khan.github.io/KaTeX/ See: company-coq's latex rendering

Substitutions are not performed on previews

1

The extension responds to "open document" events, which are not generated by opening a preview.

Make sure PSM works well with avy: abo-abo/avy#103

Given a selection, provide commands: * Prettify symbols mode: **fold** selection: apply the substitutions to the text itself * Prettify symbols mode: **unfold** selection: attempt to replace pretties (appearing as...

Support showing an image instead of text for a substitution. Detail: uses `contentIconPath` instead of `contentText`.