Merge remote-tracking branch 'origin/release' into danieljgeiger-mathjax

2023-03-13 11:33:26 -05:00
parent 28261c4b29 023313e92f
commit 089aaa8792
38 changed files with 321 additions and 76 deletions
@@ -1,5 +1,6 @@
 import { isDarwin } from "../constants";
 import { t } from "../i18n";
+import { SubtypeOf } from "../utility-types";
 import { getShortcutKey } from "../utils";
 import { ActionName } from "./types";