From d2af3bd82be8a9c5edf46f9bc8d3f554062041bf Mon Sep 17 00:00:00 2001 From: Luca Pellegrini Date: Thu, 2 Mar 2023 22:21:24 +0100 Subject: [PATCH] vscodium: Piccolissima modifica --- codium/.config/VSCodium/User/settings.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/codium/.config/VSCodium/User/settings.json b/codium/.config/VSCodium/User/settings.json index b26f256..0736577 100644 --- a/codium/.config/VSCodium/User/settings.json +++ b/codium/.config/VSCodium/User/settings.json @@ -4,12 +4,12 @@ "editor.minimap.enabled": false, "editor.fontSize": 18, "zenMode.hideLineNumbers": false, - "breadcrumbs.enabled": false, "workbench.iconTheme": "material-icon-theme", "markdown.preview.fontSize": 16, "editor.fontFamily": "'MesloLGS NF', 'Droid Sans Mono', 'monospace', monospace", "files.insertFinalNewline": true, "editor.multiCursorModifier": "ctrlCmd", "window.zoomLevel": 1, - "redhat.telemetry.enabled": false + "redhat.telemetry.enabled": false, + "breadcrumbs.enabled": false }