mcs/diff.html.in

   1 <!DOCTYPE html>
   2 <html lang="en">
   3   <head>
   4     <meta charset="utf-8" />
   5     <meta name="viewport" content="width=device-width, minimum-scale=1.0, maximum-scale=1.0" />
   6     <meta http-equiv="X-UA-Compatible" content="IE=Edge" />
   7     <title>@title@</title>
   8     <link rel="stylesheet" type="text/css" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/styles/github.min.css">
   9     <link rel="stylesheet" type="text/css" href="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html.min.css">
  10     <link rel='stylesheet' href='https://fonts.googleapis.com/css?family=Open+Sans' />
  11   </head>
  12   <body style="font-family: 'Open Sans'">
  13     <h1>@title@</h1>
  14     <p>@description@</p>
  15     <p>Download <a id="patchdownload" href="#">changes.patch</a> which can be applied with <code>git apply changes.patch</code>.</p>
  16
  17     <script type="text/javascript" id="diffsource">/*<![CDATA[
  18 @diffdata@
  19 ]]>*/
  20     </script>
  21     <div id="diff">Loading ...</div>
  22
  23     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.2.3/jquery.js"></script>
  24     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/highlight.min.js"></script>
  25     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.11.0/languages/cs.min.js"></script>
  26
  27     <script src="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html.min.js"></script>
  28     <script src="https://cdnjs.cloudflare.com/ajax/libs/diff2html/2.3.0/diff2html-ui.min.js"></script>
  29
  30     <script src="https://cdnjs.cloudflare.com/ajax/libs/FileSaver.js/1.3.3/FileSaver.min.js"></script>
  31
  32     <script>
  33     $(document).ready(function() {
  34         var diffText = $("#diffsource")[0].childNodes[0].nodeValue;
  35         $("#diffsource").remove();
  36         diffText = diffText.substring(12, diffText.length - 10);
  37         if (diffText.length == 0) {
  38           $("#diff").text("No changes found.");
  39           return;
  40         }
  41
  42         $("#patchdownload").click(function() {
  43           var blob = new Blob([diffText], { type: "text/plain;charset=utf-8;" });
  44           saveAs(blob, "changes.patch", true);
  45         });
  46
  47         var diff2htmlUi = new Diff2HtmlUI({diff: diffText});
  48         diff2htmlUi.draw('#diff', {showFiles: true, matching: 'none'});
  49         setTimeout(function() {
  50           diff2htmlUi.highlightCode('#diff');
  51         }, 100);
  52     });
  53     </script>
  54   </body>
  55 </html>