
[Defaults]

color.bg.decompiler.highlights.source = color.palette.green
color.bg.decompiler.highlights.sink = color.palette.red
color.bg.decompiler.highlights.sinksource = color.palette.olive
color.bg.decompiler.highlights.sourcesink = color.palette.darkcyan
color.bg.decompiler.highlights.path = color.palette.yellow

icon.plugin.decompiler.text.finder.select.functions = icon.make.selection {FunctionScope.gif[size(12,12)][move(6,6)]}
icon.plugin.decompiler.taint.gate.set = gate-set.png
icon.plugin.decompiler.taint.default.query = default-query.png

[Dark Defaults]