From c5778f5cd20c0c56b710a3992765ed856c8dcde1 Mon Sep 17 00:00:00 2001
From: Jim Carciofini <jim.carciofini@galois.com>
Date: Thu, 27 Jun 2024 11:51:00 -0500
Subject: [PATCH] CFAR graph color choice that works better with binja dark
 themes (Issue #401).

---
 pate_binja/view.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pate_binja/view.py b/pate_binja/view.py
index 98549a8a..010ba98b 100644
--- a/pate_binja/view.py
+++ b/pate_binja/view.py
@@ -731,12 +731,11 @@ def build_pate_flow_graph(self, cfarGraph: pate.CFARGraph):
 
             if cfar_node.id.find(' vs ') >= 0:
                 # Per discussion with Dan, it does not make sense to highlight these.
-                # flow_node.highlight = HighlightStandardColor.BlueHighlightColor
                 pass
             elif cfar_node.id.find('(original') >= 0:
                 flow_node.highlight = HighlightStandardColor.GreenHighlightColor
             elif cfar_node.id.find('(patched)') >= 0:
-                flow_node.highlight = HighlightStandardColor.MagentaHighlightColor
+                flow_node.highlight = HighlightStandardColor.BlueHighlightColor
 
             self.flowGraph.append(flow_node)
             self.cfarToFlow[cfar_node.id] = flow_node