GP-1981 - Checkpoint - Initial Theming

This commit is contained in:
ghidragon
2022-04-09 20:24:28 +08:00
parent 38292de02c
commit f808431251
108 changed files with 4355 additions and 738 deletions

View File

@@ -6,6 +6,7 @@
##MODULE IP: Oxygen Icons - LGPL 3.0
##MODULE IP: Tango Icons - Public Domain
Module.manifest||GHIDRA||||END|
data/programdiff.theme.properties||GHIDRA||||END|
src/main/help/help/TOC_Source.xml||GHIDRA||||END|
src/main/help/help/shared/arrow.gif||GHIDRA||reviewed||END|
src/main/help/help/shared/close16.gif||GHIDRA||reviewed||END|

View File

@@ -0,0 +1,7 @@
[Defaults]
color.bg.programdiff.highlight = moccasin
[Dark Defaults]
color.bg.programdiff.highlight = darkRed

View File

@@ -26,6 +26,7 @@ import javax.swing.text.*;
import javax.swing.tree.TreeSelectionModel;
import docking.DockingUtils;
import docking.theme.GColor;
import docking.widgets.EventTrigger;
import docking.widgets.OptionDialog;
import docking.widgets.fieldpanel.FieldPanel;
@@ -95,7 +96,7 @@ public class ProgramDiffPlugin extends ProgramPlugin
private static final String SELECTION_GROUP = "Selection Colors";
private static final String DIFF_HIGHLIGHT_COLOR_NAME =
SELECTION_GROUP + Options.DELIMITER + "Difference Color";
private Color diffHighlightColor = new Color(255, 230, 180); // light orange
private Color diffHighlightColor = new GColor("color.bg.programdiff.highlight");
private Color cursorHighlightColor;
protected static final HelpService help = Help.getHelpService();