add playground files to docs/

the-mikedavis · Jan 2, 2022 · 0e4f0ba · 0e4f0ba
1 parent 2ac85d7
commit 0e4f0ba
Show file tree

Hide file tree

Showing 4 changed files with 4,856 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,272 @@
+<html>
+  <head>
+    <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
+    <meta charset="utf-8" />
+    <title>tree-sitter git config</title>
+    <link
+      rel="stylesheet"
+      href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.css"
+    />
+    <link
+      rel="stylesheet"
+      href="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.css"
+    />
+    <link
+      rel="icon"
+      type="image/png"
+      href="https://tree-sitter.github.io/tree-sitter/assets/images/favicon-32x32.png"
+      sizes="32x32"
+    />
+    <link
+      rel="icon"
+      type="image/png"
+      href="https://tree-sitter.github.io/tree-sitter/assets/images/favicon-16x16.png"
+      sizes="16x16"
+    />
+  </head>
+
+  <body>
+    <div id="playground-container" style="visibility: visible">
+      <header>
+        <div class="header-item">
+          <bold>git config</bold>
+        </div>
+
+        <div class="header-item">
+          <label for="logging-checkbox">log</label>
+          <input id="logging-checkbox" type="checkbox" />
+        </div>
+
+        <div class="header-item">
+          <label for="query-checkbox">query</label>
+          <input id="query-checkbox" type="checkbox" checked="checked" />
+        </div>
+
+        <div class="header-item">
+          <label for="update-time">parse time: </label>
+          <span id="update-time">19.0 ms</span>
+        </div>
+
+        <select id="language-select" style="display: none">
+          <option value="git_config" selected="selected">Parser</option>
+        </select>
+      </header>
+
+      <main>
+        <div id="input-pane">
+          <div id="code-container">
+            <textarea id="code-input" style="display: none">
+# Core variables
+[core]
+	; Don't trust file modes
+	filemode = false
+
+# Our diff algorithm
+[diff]
+	external = /usr/local/bin/diff-wrapper
+	renames = true
+
+[branch "devel"]
+	remote = origin
+	merge = refs/heads/devel
+
+# Proxy settings
+[core]
+	gitProxy="ssh" for "kernel.org"
+	gitProxy=default-proxy ; for the rest
+
+[include]
+	path = /path/to/foo.inc ; include by absolute path
+	path = foo.inc ; find "foo.inc" relative to the current file
+	path = ~/foo.inc ; find "foo.inc" in your `$HOME` directory
+
+; include if $GIT_DIR is /path/to/foo/.git
+[includeIf "gitdir:/path/to/foo/.git"]
+	path = /path/to/foo.inc
+
+; include for all repositories inside /path/to/group
+[includeIf "gitdir:/path/to/group/"]
+	path = /path/to/foo.inc
+
+; include for all repositories inside $HOME/to/group
+[includeIf "gitdir:~/to/group/"]
+	path = /path/to/foo.inc
+
+; relative paths are always relative to the including
+; file (if the condition is true); their location is not
+; affected by the condition
+[includeIf "gitdir:/path/to/group/"]
+	path = foo.inc
+
+; include only if we are in a worktree where foo-branch is
+; currently checked out
+[includeIf "onbranch:foo-branch"]
+	path = foo.inc</textarea>
+          </div>
+          <div id="query-container" style="">
+            <textarea id="query-input" style="display: none">
+((section_name) @function.builtin
+ (#eq? @function.builtin "include"))
+
+((section_header
+   (section_name) @function.builtin
+   (subsection_name))
+ (#match? @function.builtin "^includeIf?$"))
+
+
+(section_name) @tag
+(variable (name) @property)
+[(true) (false)] @constant.builtin
+(integer) @number
+
+((string) @string.special.path
+ (#match? @string.special.path "^(~|./|/)"))
+
+[(string) (subsection_name)] @string
+
+[
+  "["
+  "]"
+  "\""
+] @punctuation.bracket
+
+"=" @punctuation.delimiter
+
+(comment) @comment</textarea>
+          </div>
+        </div>
+
+        <div id="output-container-scroll">
+          <pre
+            id="output-container"
+            class="highlight"
+            tabindex="0"
+            style="counter-increment: clusterize-counter 0"
+          ><div></div></pre>
+        </div>
+      </main>
+    </div>
+
+    <script
+      src="https://code.jquery.com/jquery-3.3.1.min.js"
+      crossorigin="anonymous"
+    ></script>
+
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script>
+
+    <script>
+      LANGUAGE_BASE_URL = "";
+    </script>
+    <script src="tree-sitter.js"></script>
+    <script src="playground.js"></script>
+
+    <style>
+      body {
+        margin: 0;
+        padding: 0;
+      }
+
+      #playground-container {
+        width: 100%;
+        height: 100%;
+        display: flex;
+        flex-direction: column;
+      }
+
+      header {
+        box-sizing: border-box;
+        display: flex;
+        padding: 20px;
+        height: 60px;
+        border-bottom: 1px solid #aaa;
+      }
+
+      main {
+        flex: 1;
+        position: relative;
+      }
+
+      #input-pane {
+        position: absolute;
+        top: 0;
+        left: 0;
+        bottom: 0;
+        right: 50%;
+        display: flex;
+        flex-direction: column;
+      }
+
+      #code-container,
+      #query-container {
+        flex: 1;
+        position: relative;
+        overflow: hidden;
+        border-right: 1px solid #aaa;
+        border-bottom: 1px solid #aaa;
+      }
+
+      #output-container-scroll {
+        position: absolute;
+        top: 0;
+        left: 50%;
+        bottom: 0;
+        right: 0;
+      }
+
+      .header-item {
+        margin-right: 30px;
+      }
+
+      #playground-container .CodeMirror {
+        position: absolute;
+        top: 0;
+        bottom: 0;
+        left: 0;
+        right: 0;
+        height: 100%;
+      }
+
+      #output-container-scroll {
+        flex: 1;
+        padding: 0;
+        overflow: auto;
+      }
+
+      #output-container {
+        padding: 0 10px;
+        margin: 0;
+      }
+
+      #logging-checkbox {
+        vertical-align: middle;
+      }
+
+      .CodeMirror div.CodeMirror-cursor {
+        border-left: 3px solid red;
+      }
+
+      a {
+        text-decoration: none;
+        color: #040404;
+        padding: 2px;
+      }
+
+      a:hover {
+        text-decoration: underline;
+      }
+
+      a.highlighted {
+        background-color: #d9d9d9;
+        color: red;
+        border-radius: 3px;
+        text-decoration: underline;
+      }
+
+      .query-error {
+        text-decoration: underline red dashed;
+        -webkit-text-decoration: underline red dashed;
+      }
+    </style>
+  </body>
+</html>