From 6176facdcaa7ac67fdb9605acf8ba10920980f13 Mon Sep 17 00:00:00 2001
From: Jeroen Coumans <jeroencoumans@gmail.com>
Date: Tue, 1 Jul 2014 18:35:37 +0200
Subject: [PATCH] Allow per-edge hover colors

---
 src/graph/Edge.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/graph/Edge.js b/src/graph/Edge.js
index 485820fc..c90f79d6 100644
--- a/src/graph/Edge.js
+++ b/src/graph/Edge.js
@@ -128,6 +128,7 @@ Edge.prototype.setProperties = function(properties, constants) {
     else {
       if (properties.color.color !== undefined)     {this.color.color = properties.color.color;}
       if (properties.color.highlight !== undefined) {this.color.highlight = properties.color.highlight;}
+      if (properties.color.hover !== undefined)     {this.color.hover = properties.color.hover;}
     }
   }