Merge remote-tracking branch 'origin/GP-1-dragonmacher-added-missing-theme-file'

2026-06-01 12:58:13 +08:00 · 2025-07-10 10:01:04 -04:00
parent 1b74b8eb9b d0f08f7460
commit 894e65589a
2 changed files with 8 additions and 0 deletions
@@ -2,3 +2,4 @@
 ##MODULE IP: MIT
 Module.manifest||GHIDRA||||END|
 README.md||GHIDRA||||END|
+data/symbolic.summary.z3.theme.properties||GHIDRA||||END|
@@ -0,0 +1,7 @@
+[Defaults]
+
+// TODO update this color to the preferred non-temporary value
+color.fg.listing.z3symbolic = color.palette.cyan
+
+
+[Dark Defaults]