mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2026-09-10 09:13:58 -09:00
d466dbf06b
ResourceManager. Created api for integrating Options with Theming. Fixed issue with system property mappings. Created dynamic icons for the close and drop-down menu item icons.
13 lines
477 B
INI
13 lines
477 B
INI
[Defaults]
|
|
icon.sample.provider = erase16.png
|
|
icon.sample.provider.graph = color_swatch.png
|
|
icon.sample.provider.hello.world = information.png
|
|
|
|
icon.sample.action.hello.world = information.png
|
|
icon.sample.kitchen.sink.action.hellow.world = left.png
|
|
icon.sample.kitchen.sink.action.hellow.program = right.png
|
|
|
|
icon.sample.action.show.graph = applications-development.png
|
|
|
|
icon.sample.graph.dependency.layout = color_swatch.png
|
|
icon.sample.hello.world.action.clear = erase16.png |