What's Changed

• Automatic rendering more robust:
  • Checking for lsp installation
  • Waiting for lsp to start
• Don't automatically render non-vyzx terms (or set printing all terms)
• Parse/Render errors allow user to one-click file GitHub issue
• Allow project/global setting to have user choose if they want auto rendering
• Add support for \propto= and \propto[c]
• Shows qualifiers as a text field

Full Changelog: v0.1.2...0.2.0

with whitespace fixes

0.1.1

mostly readme changes; releasing because of the removed svg button.

surprised robot to happy robot transition
some spacing fixes for stacks and composes
parser fixes: colorswaps
minor text wrapping changes
button to export to PNG

• parser returns the first result in all cases where multiple results are returned. usually we either get multiple results only when the same result is returned via multiple parser paths; or if arbitrary variables are parsed ambiguously.
• fixes for when a diagram is requested after another diagram to prevent rejected promises
• some refactoring of constants
• some changes in sizing text and function arguments

Changed argument extracted from information passed by lsp; coercion to string.
Changed rendering settings to be in new tab instead of active tab.
when new diagram is rendered, discards old diagram so as to not clutter the tab space.
when same request is made, ignores it (so continuously served lsp information is not re-rendered)
added sizing up, down, and deactivate commands.
fixed parser bug where nstack could not be embedded in stack/compose?

PR to lsp incoming -- need to publish for cross-extension local testing.

command using input box and command for lsp debugging.