Skip to content

Commit 37e0796

Browse files
author
Retype GitHub Action
committed
Refreshes Retype-generated documentation.
Process triggered by TTangNingzhi.
1 parent a6810af commit 37e0796

12 files changed

Lines changed: 46 additions & 47 deletions

File tree

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

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

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

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

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

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

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

37-
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.757004953707" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="resources/js/config.js?v=3.5.0.757006675514" 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.757004953707" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.5.0.757006675514" 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,13 +269,12 @@ <h5><span class="docs-emoji">&#x26A1;</span> NEWS! <span class="docs-emoji">&#x2
269269
</div>
270270
</div>
271271
</div>
272-
<p><a href="https://codegrits.github.io/CodeGRITS/">CodeGRITS</a> stands for <strong>G</strong>aze <strong>R</strong>ecording &amp; <strong>I</strong>DE <strong>T</strong>racking <strong>S</strong>ystem,
273-
which is a plugin specifically designed
274-
for software engineering (SE) researchers, which is developed by the <a href="https://toby.li/">SaNDwich Lab</a> at the
275-
<a href="https://www.nd.edu/">University of Notre Dame</a>. CodeGRITS is built on top
272+
<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
273+
the <a href="https://toby.li/">SaNDwich Lab</a> and is specially designed for empirical software engineering researchers.
274+
CodeGRITS is built on top
276275
of <a href="https://plugins.jetbrains.com/docs/intellij/welcome.html">IntelliJ Platform SDK</a>, with wide compatibility with the
277-
entire family of <a href="https://www.jetbrains.com/">JetBrains IDEs</a> and <a href="https://www.tobii.com/">Tobii eye-tracking devices</a>,
278-
to track developers’ IDE interactions and eye gaze data. The source code of CodeGRITS is available
276+
entire family of JetBrains IDEs and <a href="https://www.tobii.com/">Tobii eye-tracking devices</a>,
277+
to track developers’ IDE interactions and eye gaze data. The source code is available
279278
on <a href="https://github.com/codegrits/CodeGRITS">GitHub</a>.</p>
280279
<div style="text-align: center;">
281280
<img src="imgs/visualization.png" style="width: 80%;"><br><br>

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

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