From 2d149e9a5df31088b492eab44f5c8624f08dc109 Mon Sep 17 00:00:00 2001
From: Ran Naor <38539376+Ran-Naor@users.noreply.github.com>
Date: Fri, 27 Jan 2023 19:03:43 +0200
Subject: [PATCH] fix(gui): allow html in JVariable to render renaming of
 variables correctly (#1769)(PR #1770)

---
 jadx-gui/src/main/java/jadx/gui/treemodel/JVariable.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/jadx-gui/src/main/java/jadx/gui/treemodel/JVariable.java b/jadx-gui/src/main/java/jadx/gui/treemodel/JVariable.java
index 32440b1dd..da2c79193 100644
--- a/jadx-gui/src/main/java/jadx/gui/treemodel/JVariable.java
+++ b/jadx-gui/src/main/java/jadx/gui/treemodel/JVariable.java
@@ -61,6 +61,11 @@ public class JVariable extends JNode {
 		return UiUtils.typeFormatHtml(var.getName(), var.getType());
 	}
 
+	@Override
+	public boolean disableHtml() {
+		return false;
+	}
+
 	@Override
 	public String getTooltip() {
 		String name = var.getName() + " (r" + var.getReg() + "v" + var.getSsa() + ")";