From c0978e538c752c6b4557af261e631d211c56bae3 Mon Sep 17 00:00:00 2001
From: dragonmacher <48328597+dragonmacher@users.noreply.github.com>
Date: Mon, 20 Oct 2025 12:13:43 -0400
Subject: [PATCH] Fixed incorrect theme property

---
 .../ghidra/app/plugin/core/decompiler/taint/TaintOptions.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java b/Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java
index 93b15ec487..c8310f6f39 100644
--- a/Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java
+++ b/Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java
@@ -66,7 +66,7 @@ public class TaintOptions {
 	public final static Boolean DEFAULT_GET_PATHS = true;
 
 	private final static GColor TAINT_HIGHLIGHT_COLOR =
-		new GColor("color.bg.listing.highlighter.default");
+		new GColor("color.bg.listing.highlighter.middle.mouse");
 	private final static Highlighter TAINT_HIGHLIGHT_STYLE_DEFAULT = Highlighter.DEFAULT;
 
 	private String taintEnginePath;
@@ -191,7 +191,7 @@ public class TaintOptions {
 				taintQueryEngine = engine;
 			}
 		}
-		
+
 		taintEnginePath = opt.getString(OP_KEY_TAINT_ENGINE_PATH, "");
 		taintFactsDir = opt.getString(OP_KEY_TAINT_FACTS_DIR, "");
 		taintQuery = opt.getString(OP_KEY_TAINT_QUERY, "");