Skip to content

Commit 389e802

Browse files
author
Retype GitHub Action
committed
Refreshes Retype-generated documentation.
Process triggered by TTangNingzhi.
1 parent 347fac1 commit 389e802

File tree

12 files changed

+61
-61
lines changed

12 files changed

+61
-61
lines changed

404.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -29,11 +29,11 @@
2929
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3030

3131
<link href="/CodeGRITS/favicon.png" rel="icon">
32-
<link href="/CodeGRITS/resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
32+
<link href="/CodeGRITS/resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3333

34-
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
34+
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3535
<script data-cfasync="false" src="/CodeGRITS/resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
36-
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
36+
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3737
</head>
3838
<body>
3939
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

about/index.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,11 +32,11 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

changelog/index.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,11 +32,11 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

data-format/index.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,12 +32,12 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.762970357353" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.762978242397" defer></script>
4141
</head>
4242
<body>
4343
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

developer/index.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,12 +32,12 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.762970357353" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.762978242397" defer></script>
4141
</head>
4242
<body>
4343
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

faq/index.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,11 +32,11 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

index.html

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,11 +32,11 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="favicon.png" rel="icon">
35-
<link href="resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">
@@ -269,26 +269,6 @@ <h5><span class="docs-emoji">&#x26A1;</span> NEWS! <span class="docs-emoji">&#x2
269269
</div>
270270
</div>
271271
</div>
272-
<div class="flex mb-6">
273-
<div class="shrink-0 w-1 rounded-tl rounded-bl bg-yellow-500"></div>
274-
<div class="flex w-full py-4 border border-l-0 border-gray-300 rounded-tr rounded-br doc-alert bg-white dark:bg-dark-700 dark:border-dark-700" role="alert">
275-
<div class="flex items-center ml-4 h-7">
276-
<svg xmlns="http://www.w3.org/2000/svg" class="mb-px text-yellow-500" width="22" height="22" viewBox="0 0 24 24" role="presentation">
277-
<g fill="currentColor"><g>
278-
<path d="M22.48 15.59L14.01 1.45A2.968 2.968 0 0012.16.09c-.78-.19-1.58-.07-2.27.35-.41.25-.76.6-1.01 1.01v.01L.4 15.6c-.83 1.43-.33 3.27 1.1 4.1.45.26.95.4 1.48.4h16.95c.8-.01 1.55-.33 2.11-.9.56-.57.87-1.33.86-2.13a3.04 3.04 0 00-.42-1.48zm-1.87 2.21c-.19.19-.44.3-.69.3H2.99c-.17 0-.34-.05-.49-.13a.992.992 0 01-.37-1.35L10.6 2.48c.08-.14.2-.25.34-.33a.992.992 0 011.37.33l8.46 14.13c.09.15.13.32.13.49 0 .26-.1.51-.29.7z"></path>
279-
<path d="M11.45 12.1c.55 0 1-.45 1-1v-4c0-.55-.45-1-1-1s-1 .45-1 1v4c0 .56.45 1 1 1zM11.46 14.1c-.56 0-1 .45-1 1s.45 1 1 1 1-.45 1-1-.45-1-1-1z"></path>
280-
</g></g>
281-
</svg>
282-
</div>
283-
<div class="pr-5 ml-3 w-full">
284-
<h5><span class="docs-emoji">&#x1F6A8;</span> macOS Support <span class="docs-emoji">&#x1F6A8;</span></h5>
285-
<p>CodeGRITS has been primarily developed and tested on Windows and Linux, with only partial testing on macOS.
286-
There may be some unnoticed bugs on macOS. We have created a
287-
<a href="https://github.com/codegrits/CodeGRITS/tree/mac"><code v-pre>mac</code> branch</a> for this and have fixed some known issues.
288-
If you encounter additional issues on macOS, please feel free to report them to us.</p>
289-
</div>
290-
</div>
291-
</div>
292272
<p>CodeGRITS stands for <strong>G</strong>aze <strong>R</strong>ecording &amp; <strong>I</strong>DE <strong>T</strong>racking <strong>S</strong>ystem. It&#x27;s a plugin developed by
293273
the <a href="https://toby.li/">SaNDwich Lab</a> and is specially designed for empirical software engineering researchers.
294274
CodeGRITS is built on top
@@ -338,6 +318,26 @@ <h3>
338318
<li class="task-list-item"><input disabled="disabled" type="checkbox" checked="checked" /> CodeGRITS could extract the abstract syntax tree (AST) structure of eye gazes on multiple
339319
programming languages, as long as the IDE supports them, including Java, Python, C/C++, JavaScript, etc.</li>
340320
</ul>
321+
<div class="flex mb-6">
322+
<div class="shrink-0 w-1 rounded-tl rounded-bl bg-yellow-500"></div>
323+
<div class="flex w-full py-4 border border-l-0 border-gray-300 rounded-tr rounded-br doc-alert bg-white dark:bg-dark-700 dark:border-dark-700" role="alert">
324+
<div class="flex items-center ml-4 h-7">
325+
<svg xmlns="http://www.w3.org/2000/svg" class="mb-px text-yellow-500" width="22" height="22" viewBox="0 0 24 24" role="presentation">
326+
<g fill="currentColor"><g>
327+
<path d="M22.48 15.59L14.01 1.45A2.968 2.968 0 0012.16.09c-.78-.19-1.58-.07-2.27.35-.41.25-.76.6-1.01 1.01v.01L.4 15.6c-.83 1.43-.33 3.27 1.1 4.1.45.26.95.4 1.48.4h16.95c.8-.01 1.55-.33 2.11-.9.56-.57.87-1.33.86-2.13a3.04 3.04 0 00-.42-1.48zm-1.87 2.21c-.19.19-.44.3-.69.3H2.99c-.17 0-.34-.05-.49-.13a.992.992 0 01-.37-1.35L10.6 2.48c.08-.14.2-.25.34-.33a.992.992 0 011.37.33l8.46 14.13c.09.15.13.32.13.49 0 .26-.1.51-.29.7z"></path>
328+
<path d="M11.45 12.1c.55 0 1-.45 1-1v-4c0-.55-.45-1-1-1s-1 .45-1 1v4c0 .56.45 1 1 1zM11.46 14.1c-.56 0-1 .45-1 1s.45 1 1 1 1-.45 1-1-.45-1-1-1z"></path>
329+
</g></g>
330+
</svg>
331+
</div>
332+
<div class="pr-5 ml-3 w-full">
333+
<h5><span class="docs-emoji">&#x1F6A8;</span> macOS Support <span class="docs-emoji">&#x1F6A8;</span></h5>
334+
<p>CodeGRITS has been primarily developed and tested on Windows and Linux, with only partial testing on macOS.
335+
There may be some unnoticed bugs on macOS. We have created a
336+
<a href="https://github.com/codegrits/CodeGRITS/tree/mac"><code v-pre>mac</code> branch</a> for this and have fixed some known issues.
337+
If you encounter additional issues on macOS, please feel free to report them to us.</p>
338+
</div>
339+
</div>
340+
</div>
341341
<doc-anchor-target id="key-features">
342342
<h2>
343343
<doc-anchor-trigger class="header-anchor-trigger" to="#key-features">#</doc-anchor-trigger>

license/index.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width,initial-scale=1">
66
<meta name="turbo-root" content="/CodeGRITS">
7-
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762970357353">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.762978242397">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.5.0">
@@ -32,11 +32,11 @@
3232
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
3333

3434
<link href="../favicon.png" rel="icon">
35-
<link href="../resources/css/retype.css?v=3.5.0.762970357353" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.762978242397" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762970357353" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.762978242397" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="docs-app" class="relative text-base antialiased text-gray-700 bg-white font-body dark:bg-dark-850 dark:text-dark-300">

0 commit comments

Comments
 (0)