mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2026-09-28 17:11:11 -09:00
GP-2933 adding more error checking for theme.properties files
This commit is contained in:
@@ -172,8 +172,6 @@ font.plugin.tips.label = font.plugin.tips[BOLD]
|
||||
|
||||
[Dark Defaults]
|
||||
|
||||
color.bg = rgb(40, 42, 46) // TODO this should be in a more generic module
|
||||
|
||||
color.bg.undefined = #5C4D68
|
||||
|
||||
color.flowtype.fall.through = rgb(164, 66, 66)
|
||||
|
||||
Reference in New Issue
Block a user