make indentWithTabs false for the body

Dou Du · Dou Du · commit 2db50ed5fb96 · 2023-05-18T06:48:57.000+02:00
diff --git a/src/widget.ts b/src/widget.ts
@@ -158,7 +158,7 @@ export class WidgetCodeView extends DOMWidgetView {
           },
           readOnly: false,
           indentUnit: 4,
-          indentWithTabs: true,
+          indentWithTabs: false,
           gutters: ['CodeMirror-linenumbers', 'forced-indent'],
         }
       );

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,7 @@ export class WidgetCodeView extends DOMWidgetView {`
`158`	`158`	`},`
`159`	`159`	`readOnly: false,`
`160`	`160`	`indentUnit: 4,`
`161`		`- indentWithTabs: true,`
	`161`	`+ indentWithTabs: false,`
`162`	`162`	`gutters: ['CodeMirror-linenumbers', 'forced-indent'],`
`163`	`163`	`}`
`164`	`164`	`);`