--- a/client/js/defaults.js	Tue Jul 26 18:24:33 2016 +0200
+++ b/client/js/defaults.js	Wed Jul 27 13:55:18 2016 +0200
@@ -156,6 +156,7 @@
     edge_arrow_width: 12,
     edge_arrow_max_width: 32,
     edge_gap_in_bundles: 12,
+    highlighted_edge_color: "#ffff00",
     label_untitled_edges: "",
 
     /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */