From cfbae54ef8ab0041f263d78b3ed9763115e4c98d Mon Sep 17 00:00:00 2001
From: Yukai Huang <yukaihuangtw@gmail.com>
Date: Thu, 13 Aug 2020 17:46:42 +0800
Subject: [PATCH] Allow specifying option for graphviz

Signed-off-by: Yukai Huang <yukaihuangtw@gmail.com>
---
 public/js/extra.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/public/js/extra.js b/public/js/extra.js
index 21163adb..d1f605c3 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -368,9 +368,10 @@ export function finishView (view) {
   graphvizs.each(function (key, value) {
     try {
       var $value = $(value)
+      const options = deserializeParamAttributeFromElement(value)
       var $ele = $(value).parent().parent()
       $value.unwrap()
-      viz.renderString($value.text())
+      viz.renderString($value.text(), options)
         .then(graphviz => {
           if (!graphviz) throw Error('viz.js output empty graph')
           $value.html(graphviz)