ghidra/Ghidra/Framework/Generic/data/generic.theme.properties
2022-11-15 14:56:08 -05:00

71 lines
No EOL
1.7 KiB
INI

[Defaults]
// Fonts
font.standard = [font]Panel.font
font.bold = font.standard[bold]
font.italics = font.standard[italic]
font.bold.italic = font.standard[bold][italic]
font.monospaced = monospaced-PLAIN-12
// Icons files
icon.flag = flag.png
icon.lock = kgpg.png
icon.checkmark.green = checkmark_green.gif
icon.empty = EmptyIcon16.gif
icon.empty.20 = EmptyIcon.gif
icon.help = help-browser.png
icon.add = Plus2.png
icon.copy = page_white_copy.png
icon.cut = edit-cut.png
icon.paste = page_paste.png
icon.collapse.all = collapse_all.png
icon.expand.all = expand_all.png
icon.configure.filter = exec.png
icon.clear = erase16.png
icon.delete = edit-delete.png
icon.error = emblem-important.png
icon.home = go-home.png
icon.navigate.in = locationIn.gif
icon.navigate.out = locationOut.gif
icon.not.allowed = dialog-cancel.png
icon.folder.open = openSmallFolder.png
icon.folder.closed = closedSmallFolder.png
icon.refresh = reload3.png
icon.sort.ascending = sortascending.png
icon.sort.descending = sortdescending.png
icon.stop = process-stop.png
icon.warning.strong = software-update-urgent.png
icon.warning = warning.png
icon.information = information.png
icon.left = left.png
icon.right = right.png
icon.up = up.png
icon.down = down.png
icon.left.alt = left.alternate.png
icon.right.alt = right.alternate.png
icon.save = disk.png
icon.save.as = disk_save_as.png
icon.make.selection = text_align_justify.png
icon.arrow.down.right = viewmagfit.png[rotate(90)]
icon.arrow.up.left = viewmagfit.png[rotate(275)]
icon.filter.not.accepted = icon.flag{dialog-cancel.png[size(10,10)][move(6,6)]}
icon.blocked.match = icon.lock{icon.checkmark.green[size(12,12)][move(4,0)]}
[Dark Defaults]