From 5928b712e872040c1fab92ae425351a594d1bc66 Mon Sep 17 00:00:00 2001
From: Arno Gourdol <arno@arno.org>
Date: Fri, 18 Aug 2023 07:52:24 -0700
Subject: [PATCH] chore: add missing default keyboard names

---
 src/public/virtual-keyboard.ts | 3 +++
 src/virtual-keyboard/data.ts   | 9 +++++++--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/public/virtual-keyboard.ts b/src/public/virtual-keyboard.ts
index 85f86e759..fdc605da5 100644
--- a/src/public/virtual-keyboard.ts
+++ b/src/public/virtual-keyboard.ts
@@ -157,6 +157,9 @@ export type EditToolbarOptions = 'none' | 'default';
 
 export type VirtualKeyboardName =
   | 'default'
+  | 'compact'
+  | 'minimalist'
+  | 'numeric-only'
   | 'numeric'
   | 'symbols'
   | 'alphabetic'
diff --git a/src/virtual-keyboard/data.ts b/src/virtual-keyboard/data.ts
index 2fa61ff4a..f7552d637 100644
--- a/src/virtual-keyboard/data.ts
+++ b/src/virtual-keyboard/data.ts
@@ -1,6 +1,11 @@
-import type { VirtualKeyboardLayout } from '../public/virtual-keyboard';
+import type {
+  VirtualKeyboardLayout,
+  VirtualKeyboardName,
+} from '../public/virtual-keyboard';
 
-export const LAYOUTS: Record<string, VirtualKeyboardLayout> = {
+export const LAYOUTS: Partial<
+  Record<VirtualKeyboardName, VirtualKeyboardLayout>
+> = {
   'numeric': {
     label: '123',
     labelClass: 'MLK__tex-math',