[playground] Make gutter smaller in the output tabs
Sathya Gunasekaran committed
Dec 15, 2022 at 18:38 UTC
25fb36c9661049930826a2d93bcf2b401e141107
1 file changed
+4
compiler/forget/packages/playground/components/Editor/Output.tsx
+4
@@ -249,6 +249,10 @@ function TextTabContent({ output }: { output: string }) {
249
...monacoOptions,
250
readOnly: true,
251
lineNumbers: "off",
252
+ glyphMargin: false,
253
+ // Undocumented see https://github.com/Microsoft/vscode/issues/30795#issuecomment-410998882
254
+ lineDecorationsWidth: 0,
255
+ lineNumbersMinChars: 0,
256
}}
257
/>
258
</div>