Skip to content

Commit 7ba44f3

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

File tree

12 files changed

+44
-49
lines changed

12 files changed

+44
-49
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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

34-
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
34+
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3535
<script data-cfasync="false" src="/CodeGRITS/resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
36-
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
36+
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3737
</head>
3838
<body>
3939
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807920289507" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807924422421" defer></script>
4141
</head>
4242
<body>
4343
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807920289507" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807924422421" defer></script>
4141
</head>
4242
<body>
4343
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

‎index.html‎

Lines changed: 6 additions & 11 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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">
@@ -347,13 +347,8 @@ <h3>
347347
</h3>
348348
</doc-anchor-target>
349349
<ul class="contains-task-list">
350-
<li class="task-list-item"><p><input disabled="disabled" type="checkbox" checked="checked" /> CodeGRITS provides cross-platform support for Windows, macOS,
351-
and Linux, and is expected to be compatible with the entire family of JetBrains IDEs, including IntelliJ IDEA,
352-
PyCharm, WebStorm, etc.</p>
353-
</li>
354-
<li class="task-list-item"><p><input disabled="disabled" type="checkbox" checked="checked" /> CodeGRITS could extract the abstract syntax tree (AST) structure of eye gazes on multiple
355-
programming languages, as long as the IDE supports them, including Java, Python, C/C++, JavaScript, etc.</p>
356-
</li>
350+
<li class="task-list-item"><input disabled="disabled" type="checkbox" checked="checked" /> CodeGRITS provides cross-platform support for Windows, macOS, and Linux, and is expected to be compatible with the entire family of JetBrains IDEs, including IntelliJ IDEA, PyCharm, WebStorm, etc.</li>
351+
<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 programming languages, as long as the IDE supports them, including Java, Python, C/C++, JavaScript, etc.</li>
357352
</ul>
358353
<doc-anchor-target id="key-features">
359354
<h2>

‎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.11.0.807920289507">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807924422421">
88

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

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

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
3838
<script data-cfasync="false" src="../resources/js/retype.js?v=3.11.0" data-turbo-eval="false" defer></script>
39-
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807920289507" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807924422421" data-turbo-eval="false" defer></script>
4040
</head>
4141
<body>
4242
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

0 commit comments

Comments
 (0)