Rename setting

scalameta · Feb 8, 2024 · 9885716 · 9885716
1 parent 10feada
commit 9885716
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
@@ -218,11 +218,6 @@
  "configuration": {
  "title": "Metals",
  "properties": {
- "metals.hotCodeReplace": {
- "type": "boolean",
- "default": false,
- "markdownDescription": "Allow Hot Code Replace (HCR) while debugging"
- },
  "metals.serverVersion": {
  "type": "string",
  "default": "1.2.1",
@@ -348,6 +343,11 @@
  "default": false,
  "markdownDescription": "When this option is enabled, when user pastes any snippet into a Scala file, Metals will try to adjust the indentation to that of the current cursor."
  },
+ "metals.debug.hotCodeReplace": {
+ "type": "boolean",
+ "default": false,
+ "markdownDescription": "Enable Hot Code Replace while debugging."
+ },
  "metals.verboseCompilation": {
  "type": "boolean",
  "default": false,
@@ -1113,4 +1113,4 @@
  "extensionPack": [
  "scala-lang.scala"
  ]
-}
+}
diff --git a/packages/metals-vscode/src/hotCodeReplace.ts b/packages/metals-vscode/src/hotCodeReplace.ts
@@ -7,7 +7,7 @@ import * as vscode from "vscode";
 
 import { DebugSession, commands } from "vscode";
 
-const HCR_CONFIG = "metals.hotCodeReplace";
+const HCR_CONFIG = "metals.debug.hotCodeReplace";
 const HCR_ACTIVE = "scalaHotReloadOn";
 
 export function initializeHotCodeReplace() {
@@ -45,7 +45,7 @@ export async function applyHCR() {
  vscode.window
  .showWarningMessage(
  "Failed to apply the changes because hot code replace is not supported by run mode, " +
-  "would you like to restart the program?"
+ "would you like to restart the program?"
  )
  .then((res) => {
  if (res === "Yes") {
@@ -84,4 +84,4 @@ export async function applyHCR() {
 }
 
 const hotReplaceIsOn = () =>
- vscode.workspace.getConfiguration("metals").get("hotCodeReplace") ?? false;
+ vscode.workspace.getConfiguration("metals").get(HCR_CONFIG) ?? false;