Minor Change

rcosta358 · rcosta358 · commit 93d06ecf9b9d · 2026-03-31T12:05:00.000+01:00
diff --git a/client/src/services/hover.ts b/client/src/services/hover.ts
@@ -15,7 +15,7 @@ export function registerHover() {
 
             const variable = getHoveredVariable(document, position);
             if (variable && variable.mainRefinement && variable.mainRefinement !== 'true')
-                hoverContent.appendCodeblock(`@Refinement(${JSON.stringify(variable.mainRefinement)})`, 'java');
+                hoverContent.appendCodeblock(`@Refinement("${variable.mainRefinement}")`, 'java');
 
             const diagnostics = vscode.languages.getDiagnostics(document.uri);
             const containsDiagnostic = !!diagnostics.find(d => d.range.contains(position) && d.source === 'liquidjava');
