Skip to content

Commit 7dfcf51

Browse files
author
Retype GitHub Action
committed
Refreshes Retype-generated documentation.
Process triggered by TTangNingzhi.
1 parent edc52d2 commit 7dfcf51

File tree

12 files changed

+66
-41
lines changed

12 files changed

+66
-41
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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
32+
<link href="/CodeGRITS/resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3333

34-
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
34+
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
36+
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.5.0.757226652152" 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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" 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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" 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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.757102960125" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.757226652152" 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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.757102960125" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.5.0.757226652152" 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: 29 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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" 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">
@@ -282,6 +282,31 @@ <h4>
282282
</h4>
283283
</doc-anchor-target>
284284
<p>See <a href="../developer/#accommodating-new-ides">Accommodating New IDEs</a>.</p>
285+
<doc-anchor-target id="q5-how-efficient-is-the-processing-of-raw-eye-gaze-data">
286+
<h4>
287+
<doc-anchor-trigger class="header-anchor-trigger" to="#q5-how-efficient-is-the-processing-of-raw-eye-gaze-data">#</doc-anchor-trigger>
288+
<span>Q5. How efficient is the processing of raw eye gaze data?</span>
289+
</h4>
290+
</doc-anchor-target>
291+
<p>In CodeGRITS, the efficiency of the processing of gaze data is negligible. For each gaze, we calculate the average time
292+
from the timestamp in the raw data to the timestamp after all processing is complete. This processing primarily involves
293+
location mapping and upward traversal of the AST. The average delay is 4.32 ms, equating to delays of approximately
294+
12.98% for 30Hz, 25.96% for 60Hz, and 51.92% for 120Hz eye gaze data. With such
295+
a high sampling frequency, meaningful changes in the content of the code editor&#x27;s page are extremely rare within this
296+
short time frame, which ensures the accuracy of gaze processing. Moreover, compared
297+
to <a href="https://www.i-trace.org/">iTrace</a>, our method of receiving data from the
298+
eye-tracking device is more efficient, ensuring that all sampled gazes are mapped without any loss.</p>
299+
<doc-anchor-target id="q6-how-much-storage-space-does-codegrits-require">
300+
<h4>
301+
<doc-anchor-trigger class="header-anchor-trigger" to="#q6-how-much-storage-space-does-codegrits-require">#</doc-anchor-trigger>
302+
<span>Q6. How much storage space does CodeGRITS require?</span>
303+
</h4>
304+
</doc-anchor-target>
305+
<p>Generally speaking, a high sample frequency generates a large amount of gaze data. To conserve storage space, we
306+
only perform upward traversal of the AST of the first gaze and record the hierarchy structure, and mark the rest
307+
as <code v-pre>same</code>. This approach significantly reduces storage space. In a previous debugging study, we set the eye-tracking
308+
device&#x27;s sample frequency to 60Hz, and during the 20-minute experiment, the eye-tracking data amounted to only about
309+
40MB.</p>
285310

286311

287312
<!-- Required only on API pages -->

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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.5.0.757226652152" 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">

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.757102960125">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.757226652152">
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.757102960125" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.5.0.757226652152" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757102960125" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.757226652152" 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.757102960125" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.757226652152" 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)