mirror/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-09-28 17:11:11 -09:00
Code Issues Packages Projects Releases Wiki Activity

Added missing theme file

Browse Source
This commit is contained in:
dragonmacher
2025-07-09 19:08:06 -04:00
parent f250cfeac4
commit d0f08f7460
2 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
View File

@@ -2,3 +2,4 @@
##MODULE IP: MIT
Module.manifest||GHIDRA||||END|
README.md||GHIDRA||||END|
data/symbolic.summary.z3.theme.properties||GHIDRA||||END|

7
Ghidra/Extensions/SymbolicSummaryZ3/data/symbolic.summary.z3.theme.properties Normal file
View File

@@ -0,0 +1,7 @@
[Defaults]
// TODO update this color to the preferred non-temporary value
color.fg.listing.z3symbolic = color.palette.cyan
[Dark Defaults]