GP-3818: Create TraceRMI launcher framework. Launch script for gdb.

2026-09-28 17:11:11 -09:00 · 2023-09-20 15:17:37 -04:00
parent 4561e8335d
commit eea90f49c9
379 changed files with 5180 additions and 1487 deletions
--- a/Ghidra/Features/Base/data/base.icons.theme.properties
+++ b/Ghidra/Features/Base/data/base.icons.theme.properties
@@ -180,6 +180,8 @@ icon.plugin.instructiontable.hex = hexData.png

 icon.plugin.interpreter.provider = icon.console

+icon.plugin.terminal.terminate = icon.delete
+
 icon.plugin.locationreferences.highlight = tag_yellow.png

 icon.plugin.memorymap.provider = memory16.gif