2025-05-31 13:05:15 +02:00

5 lines
96 B
JSON

{
"editor.fontSize": 13,
"terminal.integrated.fontSize": 13,
"window.zoomLevel": 1.4,
}