diff --git a/src/lib/editor/Editor.svelte b/src/lib/editor/Editor.svelte
index c6ae695..7a91153 100644
--- a/src/lib/editor/Editor.svelte
+++ b/src/lib/editor/Editor.svelte
@@ -9,8 +9,8 @@
const DEFAULT_EDITOR_FONT = 'Georgia'; // must match ToolbarExpanded.svelte
- let { editor = $bindable(), tick = $bindable(0), currentPage = $bindable(1), numPages = $bindable(1), zoom = 100 }: {
- editor: Editor | null; tick: number; currentPage: number; numPages: number; zoom: number;
+ let { editor = $bindable(), tick = $bindable(0), currentPage = $bindable(1), numPages = $bindable(1), zoom = 100, showFormattingMarks = false }: {
+ editor: Editor | null; tick: number; currentPage: number; numPages: number; zoom: number; showFormattingMarks?: boolean;
} = $props();
let element: HTMLDivElement;
@@ -119,5 +119,5 @@
diff --git a/src/lib/editor/ToolbarExpanded.svelte b/src/lib/editor/ToolbarExpanded.svelte
index 5fe5c94..d141be9 100644
--- a/src/lib/editor/ToolbarExpanded.svelte
+++ b/src/lib/editor/ToolbarExpanded.svelte
@@ -1,7 +1,7 @@