github/ghidra
1
1
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-01-09 14:08:03 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fixed incorrect theme property

Browse Source
This commit is contained in:
dragonmacher
2025-10-20 12:13:43 -04:00
parent e6b6d85b66
commit c0978e538c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintOptions.java
View File

@@ -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, "");