fix(docs): align playground GIF capture with live editor styling

This commit is contained in:
Yang Jun
2026-06-22 23:14:05 +08:00
parent 18178e8896
commit aae0d94029
2 changed files with 4 additions and 1 deletions
Binary file not shown.

Before

Width:  |  Height:  |  Size: 82 KiB

After

Width:  |  Height:  |  Size: 59 KiB

+4 -1
View File
@@ -95,11 +95,14 @@
fontFamily: '"Source Code Pro", ui-monospace, Monaco, Menlo, Consolas, monospace',
fontSize: '14px',
showPrintMargin: false,
showGutter: false,
highlightActiveLine: false,
tabSize: 2,
useSoftTabs: true,
scrollPastEnd: 0.25
scrollPastEnd: 0
});
editor.getSession().setMode('ace/mode/' + lang);
editor.renderer.setShowGutter(false);
editor.renderer.setScrollMargin(8, 8, 0, 0);
bindClipboard(editor);
return editor;