From bcd9667972cb5ab9af0ed4e0e0a8dff8e0af8ccc Mon Sep 17 00:00:00 2001 From: Mattia Astorino Date: Fri, 29 Jun 2018 14:03:35 +0200 Subject: [PATCH] fix: Fix find widget border color Close #218 --- extensions/defaults.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/defaults.json b/extensions/defaults.json index bb1a010..236daf6 100644 --- a/extensions/defaults.json +++ b/extensions/defaults.json @@ -81,7 +81,7 @@ "alpha": 100, "value": null }, - "editor.findWidgetResizeBorder": { + "editorWidget.resizeBorder": { "alpha": 100, "value": null }, @@ -276,4 +276,4 @@ "_folder_dark", "_folder_light" ] -} \ No newline at end of file +}