add Note type to trace viewer

cscheid · cscheid · commit 3032bb5283ff · 2023-08-17T11:38:45.000-07:00
diff --git a/tools/trace-viewer/convert-pandoc-json.js b/tools/trace-viewer/convert-pandoc-json.js
@@ -118,6 +118,7 @@ const convert = (data) => {
         "Strikeout",
         "Quoted",
         "SingleQuote",
+        "Note",
       ].includes(data.t)
     ) {
       return {
