From 021619163061c4b4350995ccffc953cdbad9d790 Mon Sep 17 00:00:00 2001 From: Oliver Madine <30090176+OliverMadine@users.noreply.github.com> Date: Sat, 2 Apr 2022 20:31:29 +0100 Subject: [PATCH] implement configuration options for rename plugin --- package.json | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/package.json b/package.json index 71dbdc5b..8adcf09d 100644 --- a/package.json +++ b/package.json @@ -285,6 +285,18 @@ "default": true, "description": "Enables type class plugin" }, + "haskell.plugin.rename.globalOn": { + "scope": "resource", + "type": "boolean", + "default": true, + "description": "Enables rename plugin" + }, + "haskell.plugin.rename.config.crossModule": { + "scope": "resource", + "type": "boolean", + "default": false, + "description": "Enables renaming across modules (experimental)" + }, "haskell.plugin.retrie.globalOn": { "scope": "resource", "type": "boolean",