Skip to content

Commit 585f697

Browse files
committed
Update playground
1 parent d8e3b80 commit 585f697

File tree

3 files changed

+11
-17
lines changed

3 files changed

+11
-17
lines changed

Makefile

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

docs/index.html

+10-16
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
- https://github.com/tree-sitter/tree-sitter.github.io/blob/7371e63/tree-sitter.wasm
1010
- Or download those files from https://github.com/tree-sitter/tree-sitter/releases/
1111
-->
12+
1213
<head>
1314
<meta charset="utf-8">
1415
<title>Grammar for comment tags like TODO - tree-sitter-comment</title>
@@ -45,7 +46,7 @@
4546
</div>
4647

4748
<select id="language-select" style="display: none;">
48-
<option value="comment" selected>Parser</option>
49+
<option value="parser" selected>Parser</option>
4950
</select>
5051
</header>
5152

@@ -66,10 +67,7 @@
6667
</main>
6768
</div>
6869

69-
<script
70-
src="https://code.jquery.com/jquery-3.3.1.min.js"
71-
crossorigin="anonymous">
72-
</script>
70+
<script src="https://code.jquery.com/jquery-3.3.1.min.js" crossorigin="anonymous"></script>
7371

7472
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script>
7573
<script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script>
@@ -84,12 +82,6 @@
8482
const $codeEditor = document.querySelector('.CodeMirror');
8583
if ($codeEditor) {
8684
$codeEditor.CodeMirror.setValue(codeExample);
87-
// The selected language gets cached from other
88-
// playgrounds for some reason, force it to update.
89-
let languageSelect = document.getElementById('language-select');
90-
languageSelect.value = 'comment';
91-
let changeEvent = new Event('change');
92-
languageSelect.dispatchEvent(changeEvent);
9385
clearInterval(handle);
9486
}
9587
}, 500);
@@ -108,10 +100,10 @@
108100
</script>
109101

110102
<style>
111-
body {
112-
margin: 0;
113-
padding: 0;
114-
}
103+
body {
104+
margin: 0;
105+
padding: 0;
106+
}
115107

116108
#playground-container {
117109
width: 100%;
@@ -143,7 +135,8 @@
143135
flex-direction: column;
144136
}
145137

146-
#code-container, #query-container {
138+
#code-container,
139+
#query-container {
147140
flex: 1;
148141
position: relative;
149142
overflow: hidden;
@@ -210,6 +203,7 @@
210203

211204
.query-error {
212205
text-decoration: underline red dashed;
206+
-webkit-text-decoration: underline red dashed;
213207
}
214208
</style>
215209
</body>
File renamed without changes.

0 commit comments

Comments
 (0)