gered/tree-sitter-toml
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

chore(playground): update web-tree-sitter@0.15.9

Browse source
This commit is contained in:
Ika 2019-09-01 00:51:44 +08:00
parent 2662c7d21a
commit 0303643f74
7 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
docs/index.html
View file

@ -3,7 +3,7 @@
<head> <head>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" /> <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no"> <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<link rel="stylesheet" href="tree-sitter-0.15.7/style.css" media="screen" type="text/css"> <link rel="stylesheet" href="tree-sitter-playground-0.15.8/style.css" media="screen" type="text/css">
<title>Tree-sitter TOML Playground</title> <title>Tree-sitter TOML Playground</title>
<style> <style>
#main-content { #main-content {
@ -56,10 +56,11 @@
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script>
<script>LANGUAGE_BASE_URL = "https://ikatyang.github.io/tree-sitter-toml/tree-sitter-toml-0.2.0";</script> <script>LANGUAGE_BASE_URL = "https://ikatyang.github.io/tree-sitter-toml/tree-sitter-toml-0.2.0";</script>
<script src="tree-sitter-0.15.7/tree-sitter.js"></script> <script src="web-tree-sitter-0.15.9/tree-sitter.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script>
<script src="tree-sitter-0.15.7/playground.js"></script> <script src="https://code.jquery.com/jquery-3.3.1.min.js" crossorigin="anonymous"></script>
<script src="tree-sitter-playground-0.15.8/playground.js"></script>
<script> <script>
(codeExample => { (codeExample => {
const handle = setInterval(() => { const handle = setInterval(() => {
@ -89,8 +90,3 @@ connection_max = 5000
</div> </div>
</body> </body>
</html> </html>
<script
src="https://code.jquery.com/jquery-3.3.1.min.js"
crossorigin="anonymous">
</script>

BIN
docs/tree-sitter-0.15.7/tree-sitter.wasm
View file

Binary file not shown.

0
docs/tree-sitter-0.15.7/LICENSE → docs/tree-sitter-playground-0.15.8/LICENSE
View file

0
docs/tree-sitter-0.15.7/playground.js → docs/tree-sitter-playground-0.15.8/playground.js
View file

0
docs/tree-sitter-0.15.7/style.css → docs/tree-sitter-playground-0.15.8/style.css
View file

0
docs/tree-sitter-0.15.7/tree-sitter.js → docs/web-tree-sitter-0.15.9/tree-sitter.js
View file

BIN
docs/web-tree-sitter-0.15.9/tree-sitter.wasm Normal file
View file

Binary file not shown.