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

GP-1977: Introduce Terminal Service and Plugin

Browse Source
This commit is contained in:
Dan
2023-08-31 14:56:38 -04:00
parent bafded084e
commit 482341f6b1
98 changed files with 7972 additions and 141 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
Ghidra/Features/Base/data/base.theme.properties
View File

@@ -106,6 +106,29 @@ color.fg.plugin.interpreter.renderer.color.intense.6 = color.palette.magenta
color.fg.plugin.interpreter.renderer.color.intense.7 = color.palette.cyan
color.fg.plugin.interpreter.renderer.color.intense.8 = color.palette.white
// Taken from Terminal.app as documented on Wikipedia
color.bg.plugin.terminal = rgb(0,0,0)
color.fg.plugin.terminal = rgb(203,204,205)
color.cursor.focused.terminal = color.cursor.focused
color.cursor.unfocused.terminal = color.cursor.unfocused
color.fg.plugin.terminal.normal.black = rgb(0,0,0)
color.fg.plugin.terminal.normal.red = rgb(194,54,33)
color.fg.plugin.terminal.normal.green = rgb(37,188,36)
color.fg.plugin.terminal.normal.yellow = rgb(173,173,39)
color.fg.plugin.terminal.normal.blue = rgb(73,46,255)
color.fg.plugin.terminal.normal.magenta = rgb(211,56,211)
color.fg.plugin.terminal.normal.cyan = rgb(51,187,200)
color.fg.plugin.terminal.normal.white = rgb(203,204,205)
color.fg.plugin.terminal.bright.black = rgb(129,131,131)
color.fg.plugin.terminal.bright.red = rgb(252,57,31)
color.fg.plugin.terminal.bright.green = rgb(49,231,34)
color.fg.plugin.terminal.bright.yellow = rgb(234,236,35)
color.fg.plugin.terminal.bright.blue = rgb(88,51,255)
color.fg.plugin.terminal.bright.magenta = rgb(249,53,248)
color.fg.plugin.terminal.bright.cyan = rgb(20,240,240)
color.fg.plugin.terminal.bright.white = rgb(233,235,235)
color.bg.plugin.locationreferences.highlight = color.palette.lightcornflowerblue
color.bg.plugin.myprogramchangesdisplay.markers.changes.unsaved = color.palette.darkgray
@@ -155,7 +178,7 @@ font.plugin.tabs = SansSerif-PLAIN-11
font.plugin.tabs.list = SansSerif-BOLD-9
font.plugin.tips = Dialog-PLAIN-12
font.plugin.tips.label = font.plugin.tips[BOLD]
font.plugin.terminal = font.monospaced