Skip to content

Commit 9f9771c

Browse files
author
Retype GitHub Action
committed
Refreshes Retype-generated documentation.
Process triggered by TTangNingzhi.
1 parent 80beb4c commit 9f9771c

File tree

12 files changed

+79
-79
lines changed

12 files changed

+79
-79
lines changed

‎404.html‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -4,36 +4,36 @@
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.807842003258">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807899286434">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.11.0">
1111

1212
<!-- Primary Meta Tags -->
13-
<title>Not Found</title>
14-
<meta name="title" content="Not Found">
13+
<title>Not Found | CodeGRITS - JetBrains IDE and Eye Tracking</title>
14+
<meta name="title" content="Not Found | CodeGRITS - JetBrains IDE and Eye Tracking">
1515

1616
<!-- Canonical -->
1717
<link rel="canonical" href="https://codegrits.github.io/CodeGRITS/404.html">
1818

1919
<!-- Open Graph / Facebook -->
2020
<meta property="og:type" content="website">
2121
<meta property="og:url" content="https://codegrits.github.io/CodeGRITS/404.html">
22-
<meta property="og:title" content="Not Found">
22+
<meta property="og:title" content="Not Found | CodeGRITS - JetBrains IDE and Eye Tracking">
2323

2424
<!-- Twitter -->
2525
<meta property="twitter:card" content="summary_large_image">
2626
<meta property="twitter:url" content="https://codegrits.github.io/CodeGRITS/404.html">
27-
<meta property="twitter:title" content="Not Found">
27+
<meta property="twitter:title" content="Not Found | CodeGRITS - JetBrains IDE and Eye Tracking">
2828

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.807842003258" rel="stylesheet">
32+
<link href="/CodeGRITS/resources/css/retype.css?v=3.11.0.807899286434" rel="stylesheet">
3333

34-
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.11.0.807842003258" data-turbo-eval="false" defer></script>
34+
<script data-cfasync="false" src="/CodeGRITS/resources/js/config.js?v=3.11.0.807899286434" 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.807842003258" data-turbo-eval="false" defer></script>
36+
<script id="lunr-js" data-cfasync="false" src="/CodeGRITS/resources/js/lunr.js?v=3.11.0.807899286434" 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: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
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.807842003258">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807899286434">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.11.0">
1111

1212
<!-- Primary Meta Tags -->
13-
<title>About</title>
14-
<meta name="title" content="About">
13+
<title>About | CodeGRITS - JetBrains IDE and Eye Tracking</title>
14+
<meta name="title" content="About | CodeGRITS - JetBrains IDE and Eye Tracking">
1515
<meta name="description" content="CodeGRITS is professionally built and supported by a small dedicated team of HCI and SE researchers from ">
1616

1717
<!-- Canonical -->
@@ -20,23 +20,23 @@
2020
<!-- Open Graph / Facebook -->
2121
<meta property="og:type" content="website">
2222
<meta property="og:url" content="https://codegrits.github.io/CodeGRITS/about/">
23-
<meta property="og:title" content="About">
23+
<meta property="og:title" content="About | CodeGRITS - JetBrains IDE and Eye Tracking">
2424
<meta property="og:description" content="CodeGRITS is professionally built and supported by a small dedicated team of HCI and SE researchers from ">
2525

2626
<!-- Twitter -->
2727
<meta property="twitter:card" content="summary_large_image">
2828
<meta property="twitter:url" content="https://codegrits.github.io/CodeGRITS/about/">
29-
<meta property="twitter:title" content="About">
29+
<meta property="twitter:title" content="About | CodeGRITS - JetBrains IDE and Eye Tracking">
3030
<meta property="twitter:description" content="CodeGRITS is professionally built and supported by a small dedicated team of HCI and SE researchers from ">
3131

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.807842003258" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.11.0.807899286434" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807842003258" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807899286434" 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.807842003258" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807899286434" 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">
@@ -273,7 +273,7 @@ <h1>
273273
HCI and SE researchers from <a href="https://toby.li/">SaNDwich Lab</a> at the <a href="https://www.nd.edu/">University of Notre Dame</a>
274274
and <a href="https://www.vanderbilt.edu/">Vanderbilt University</a>.
275275
We are committed to keeping CodeGRITS open source and making it beneficial for the community.</p>
276-
<p>The authors of CodeGRITS are <a href="https://nztang.com/">Ningzhi Tang</a> (equal contribution),
276+
<p>The authors of CodeGRITS are <a href="https://www.nztang.com/">Ningzhi Tang</a> (equal contribution),
277277
<a href="https://wanteatfruit.github.io/">Junwen An</a> (equal contribution),
278278
<a href="https://casardo-chen.github.io/">Meng Chen</a>, <a href="https://aakashba.github.io/">Aakash Bansal</a>,
279279
<a href="https://yuhuang-lab.github.io/">Yu Huang</a>, <a href="https://sdf.org/%7Ecmc/">Collin McMillan</a>,

‎changelog/index.html‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
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.807842003258">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807899286434">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.11.0">
1111

1212
<!-- Primary Meta Tags -->
13-
<title>Changelog</title>
14-
<meta name="title" content="Changelog">
13+
<title>Changelog | CodeGRITS - JetBrains IDE and Eye Tracking</title>
14+
<meta name="title" content="Changelog | CodeGRITS - JetBrains IDE and Eye Tracking">
1515
<meta name="description" content="Encountered a bug or have a suggestion? Please create a GitHub Issue.">
1616

1717
<!-- Canonical -->
@@ -20,23 +20,23 @@
2020
<!-- Open Graph / Facebook -->
2121
<meta property="og:type" content="website">
2222
<meta property="og:url" content="https://codegrits.github.io/CodeGRITS/changelog/">
23-
<meta property="og:title" content="Changelog">
23+
<meta property="og:title" content="Changelog | CodeGRITS - JetBrains IDE and Eye Tracking">
2424
<meta property="og:description" content="Encountered a bug or have a suggestion? Please create a GitHub Issue.">
2525

2626
<!-- Twitter -->
2727
<meta property="twitter:card" content="summary_large_image">
2828
<meta property="twitter:url" content="https://codegrits.github.io/CodeGRITS/changelog/">
29-
<meta property="twitter:title" content="Changelog">
29+
<meta property="twitter:title" content="Changelog | CodeGRITS - JetBrains IDE and Eye Tracking">
3030
<meta property="twitter:description" content="Encountered a bug or have a suggestion? Please create a GitHub Issue.">
3131

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.807842003258" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.11.0.807899286434" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807842003258" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807899286434" 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.807842003258" data-turbo-eval="false" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807899286434" 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: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
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.807842003258">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807899286434">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.11.0">
1111

1212
<!-- Primary Meta Tags -->
13-
<title>Data Format</title>
14-
<meta name="title" content="Data Format">
13+
<title>Data Format | CodeGRITS - JetBrains IDE and Eye Tracking</title>
14+
<meta name="title" content="Data Format | CodeGRITS - JetBrains IDE and Eye Tracking">
1515
<meta name="description" content="Comment:">
1616

1717
<!-- Canonical -->
@@ -20,24 +20,24 @@
2020
<!-- Open Graph / Facebook -->
2121
<meta property="og:type" content="website">
2222
<meta property="og:url" content="https://codegrits.github.io/CodeGRITS/data-format/">
23-
<meta property="og:title" content="Data Format">
23+
<meta property="og:title" content="Data Format | CodeGRITS - JetBrains IDE and Eye Tracking">
2424
<meta property="og:description" content="Comment:">
2525

2626
<!-- Twitter -->
2727
<meta property="twitter:card" content="summary_large_image">
2828
<meta property="twitter:url" content="https://codegrits.github.io/CodeGRITS/data-format/">
29-
<meta property="twitter:title" content="Data Format">
29+
<meta property="twitter:title" content="Data Format | CodeGRITS - JetBrains IDE and Eye Tracking">
3030
<meta property="twitter:description" content="Comment:">
3131

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.807842003258" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.11.0.807899286434" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807842003258" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807899286434" 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.807842003258" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807842003258" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807899286434" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807899286434" 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: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@
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.807842003258">
7+
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.11.0.807899286434">
88

99
<!-- See retype.com -->
1010
<meta name="generator" content="Retype 3.11.0">
1111

1212
<!-- Primary Meta Tags -->
13-
<title>Developer Guide</title>
14-
<meta name="title" content="Developer Guide">
13+
<title>Developer Guide | CodeGRITS - JetBrains IDE and Eye Tracking</title>
14+
<meta name="title" content="Developer Guide | CodeGRITS - JetBrains IDE and Eye Tracking">
1515
<meta name="description" content="We have provided a Google Doc outlining several directions worth exploring for the future development of CodeGRITS.">
1616

1717
<!-- Canonical -->
@@ -20,24 +20,24 @@
2020
<!-- Open Graph / Facebook -->
2121
<meta property="og:type" content="website">
2222
<meta property="og:url" content="https://codegrits.github.io/CodeGRITS/developer/">
23-
<meta property="og:title" content="Developer Guide">
23+
<meta property="og:title" content="Developer Guide | CodeGRITS - JetBrains IDE and Eye Tracking">
2424
<meta property="og:description" content="We have provided a Google Doc outlining several directions worth exploring for the future development of CodeGRITS.">
2525

2626
<!-- Twitter -->
2727
<meta property="twitter:card" content="summary_large_image">
2828
<meta property="twitter:url" content="https://codegrits.github.io/CodeGRITS/developer/">
29-
<meta property="twitter:title" content="Developer Guide">
29+
<meta property="twitter:title" content="Developer Guide | CodeGRITS - JetBrains IDE and Eye Tracking">
3030
<meta property="twitter:description" content="We have provided a Google Doc outlining several directions worth exploring for the future development of CodeGRITS.">
3131

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.807842003258" rel="stylesheet">
35+
<link href="../resources/css/retype.css?v=3.11.0.807899286434" rel="stylesheet">
3636

37-
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807842003258" data-turbo-eval="false" defer></script>
37+
<script data-cfasync="false" src="../resources/js/config.js?v=3.11.0.807899286434" 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.807842003258" data-turbo-eval="false" defer></script>
40-
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807842003258" defer></script>
39+
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.11.0.807899286434" data-turbo-eval="false" defer></script>
40+
<script id="prism-js" data-cfasync="false" src="../resources/js/prism.js?v=3.11.0.807899286434" defer></script>
4141
</head>
4242
<body>
4343
<div id="retype-app" class="relative text-base antialiased text-base-text bg-base-bg font-body">

0 commit comments

Comments
 (0)