# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1570533973 -7200
# Node ID b47a33117b71aa3e5b6a2b2afb337afb23e30f3a
# Parent  1e7052c1e9a731811c7b2c17ad78e7b8478d8e48
GraphEdge.title parameter

diff -r 1e7052c1e9a7 -r b47a33117b71 visjs/src/cz/functionals/visjs/GraphEdge.scala
--- a/visjs/src/cz/functionals/visjs/GraphEdge.scala	Tue Oct 08 11:13:04 2019 +0200
+++ b/visjs/src/cz/functionals/visjs/GraphEdge.scala	Tue Oct 08 13:26:13 2019 +0200
@@ -21,7 +21,8 @@
 class GraphEdge(val from: String,
   val to: String,
   val label: UndefOr[String] = js.undefined,
-  val arrows: UndefOr[String] = js.undefined
+  val arrows: UndefOr[String] = js.undefined,
+  val title: UndefOr[String] = js.undefined
 ) extends js.Object
 
 object GraphEdge {