Generate .dot files rather than .gv proprietary extension

Author: Mark Robinson

src/main/resources/static/js/workflow.js

@@ -97,13 +97,13 @@ require(['jquery', 'bootstrap.modal', 'renderer'],
         /**
          * Downloading of the DOT graph as a .gv file
          */
-        $('#download-gv').click(function (event) {
+        $('#download-dot').click(function (event) {
             // Generate download link src
             var dotGraph = $("#dot").val();
             var src = "data:text/plain;charset=utf-8," + encodeURIComponent(dotGraph);
 
             // Set hidden download link href to contents and click it
-            var downloadLink = $("#download-link-gv");
+            var downloadLink = $("#download-link-dot");
             downloadLink.attr("href", src);
             downloadLink[0].click();
 

src/main/resources/templates/workflow.html

@@ -39,8 +39,8 @@
                 <h4 class="modal-title" id="dotGraphLabel">Workflow DOT Graph</h4>
             </div>
             <div class="modal-body">
-                <a id="download-link-gv" href="" download="workflow.gv"></a>
-                <button id="download-gv" class="btn btn-primary" type="button">Download as .gv File</button>
+                <a id="download-link-dot" href="" download="workflow.dot"></a>
+                <button id="download-dot" class="btn btn-primary" type="button">Download as .dot File</button>
 <textarea id="dot" class="form-control" rows="15" th:field="${workflow.dotGraph}">
 digraph G {
     graph [