Change MenuList checkbox to be an icon from a widget

This commit is contained in:
Keavon Chambers
2022-06-17 17:55:04 -07:00
parent 4924d7ede7
commit 63fd5e87ab
8 changed files with 21 additions and 57 deletions
@@ -110,7 +110,7 @@ function makeEntries(editor: Editor): MenuListEntries {
{ label: "Save", shortcut: ["KeyControl", "KeyS"], action: async (): Promise<void> => editor.instance.save_document() },
{ label: "Save As…", shortcut: ["KeyControl", "KeyShift", "KeyS"], action: async (): Promise<void> => editor.instance.save_document() },
{ label: "Save All", shortcut: ["KeyControl", "KeyAlt", "KeyS"] },
{ label: "Auto-Save", checkbox: true, checked: true },
{ label: "Auto-Save", icon: "CheckboxChecked" },
],
[
{ label: "Import…", shortcut: ["KeyControl", "KeyI"] },