2025-09-17 13:28:27 +02:00

5 lines
100 B
JSON

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