diff options
Diffstat (limited to 'dgbuilder/public/index.html')
| -rw-r--r-- | dgbuilder/public/index.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dgbuilder/public/index.html b/dgbuilder/public/index.html index 480de5c4..499f48ab 100644 --- a/dgbuilder/public/index.html +++ b/dgbuilder/public/index.html @@ -29,7 +29,13 @@ <link rel="stylesheet" href="style.css"> <link rel="stylesheet" href="ace/ace-styles.css"> <script src="ace/ace.js" type="text/javascript" charset="utf-8"></script> +<script src="ace/ace-diff.js"></script> +<script src="ace/diff_match_patch.js"></script> <script src="ace/mode-json.js"></script> +<!-- <script src="ace/mode-javascript.js"></script> --> +<script src="ace/mode-xml.js"></script> +<!--<script src="ace/theme-dreamweaver.js"></script> --> +<script src="ace/theme-eclipse.js"></script> </head> <body spellcheck="false"> <div id="header"> |