fix(gui): allow html in JVariable to render renaming of variables cor…

…rectly (#1769)(PR #1770)
skylot · Jan 27, 2023 · 2d149e9 · 2d149e9
1 parent 87b9ff3
commit 2d149e9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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 String makeLongStringHtml() {
 		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() + ")";