Update Mermaid.js (#4883)

* Update Mermaid.js * tsc * Allow using more CI resources * Downgrade
2023-02-15 23:46:32 -05:00
parent 12aca51541
commit 0207786eec
4 changed files with 144 additions and 53 deletions
--- a/shared/editor/plugins/Mermaid.ts
+++ b/shared/editor/plugins/Mermaid.ts
@@ -66,7 +66,6 @@ function getNewState({
            // TODO: Make dynamic based on the width of the editor or remove in
            // the future if Mermaid is able to handle this automatically.
            gantt: {
-              // @ts-expect-error types do not include this property.
              useWidth: 700,
            },
            theme: pluginState.isDark ? "dark" : "default",