changeset 4508:362652e72e29

graph: don't draw edges to roots as "dead ends" Roots and dead ends both don't have outgoing edges. The difference is that roots will have the dot of the line - dead ends will not.
author Mads Kiilerich <madski@unity3d.com>
date Mon, 08 Sep 2014 13:38:56 +0200
parents cd9bb3e07e68
children a49953fb84bf
files kallithea/public/js/graph.js
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/kallithea/public/js/graph.js	Mon Sep 08 13:38:56 2014 +0200
+++ b/kallithea/public/js/graph.js	Mon Sep 08 13:38:56 2014 +0200
@@ -118,6 +118,8 @@
 							break;
 						}
 					}
+					if (nextdata[0][0] == end) // this is a root - not a dead end
+						dead_end = false;
 				}
 
 				if (dead_end) {