Add dash to guide extent settings description

firai · Oct 16, 2023 · 4456499 · 4456499
1 parent 56b468a
commit 4456499
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.ts b/src/index.ts
@@ -87,7 +87,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
               title: 'Guide extent',
               enum: ['Full scope', 'Code only'],
               description:
-                'How far the indentation guides extend. "Full scope" means guides extend down the full height of a scope. "Code only" means guides terminate at the last nonempty line in a scope.'
+                'How far the indentation guides extend. "Full scope" means guides extend down the full height of a scope. "Code only" means guides terminate at the last non-empty line in a scope.'
             },
             thickness: {
               type: 'number',