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

2023-01-24 19:27:05 -06:00
parent 34515f2952 1db078a3dc
commit 5a3f4fd08f
93 changed files with 1308 additions and 567 deletions
@@ -19,7 +19,7 @@ type ToolButtonBaseProps = {
  name?: string;
  id?: string;
  size?: ToolButtonSize;
-  keyBindingLabel?: string;
+  keyBindingLabel?: string | null;
  showAriaLabel?: boolean;
  hidden?: boolean;
  visible?: boolean;