tasiaiso/tildefriends
1
0
Fork 0
forked from cory/tildefriends
Code Issues Pull Requests Releases Wiki Activity

update: CodeMirror.

Browse Source
This commit is contained in:
Cory McWilliams
2025-05-21 18:20:01 -04:00
parent 5a1303149f
commit 17694f5646
4 changed files with 129 additions and 111 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
apps/intro/app.js
View File

@ -2,4 +2,4 @@ async function main() {
await app.setDocument(utf8Decode(getFile('index.html')));
}
main();
main();

36
apps/intro/index.html
View File

@ -12,13 +12,22 @@
height: 1em;
cursor: pointer;
}
.w3-left, .w3-right {
.w3-left,
.w3-right {
cursor: pointer;
}
</style>
</head>
<body
style="width: 100%; height: 100%; max-width: 100%; max-height: 100%; margin: 0; padding: 0; flex-direction: column"
style="
width: 100%;
height: 100%;
max-width: 100%;
max-height: 100%;
margin: 0;
padding: 0;
flex-direction: column;
"
class="w3-flex w3-dark-gray w3-center"
>
<div
@ -35,10 +44,7 @@
<button class="w3-button w3-yellow" onclick="show(1)">Next</button>
</footer>
</div>
<div
class="slide w3-card-4 w3-gray"
style="width: 90%"
>
<div class="slide w3-card-4 w3-gray" style="width: 90%">
<header class="w3-container w3-blue w3-xlarge">
<h1>This brief tutorial will introduce:</h1>
</header>
@ -177,7 +183,13 @@
class="w3-text-white w3-xlarge w3-center w3-flex"
style="width: 100%; flex: 0 1; flex-direction: row; align-items: center"
>
<div class="w3-jumbo" onclick="show(-1)" style="flex: 1 0; cursor: pointer">&#10094;</div>
<div
class="w3-jumbo"
onclick="show(-1)"
style="flex: 1 0; cursor: pointer"
>
&#10094;
</div>
<span
class="w3-badge dot w3-border w3-hover-yellow"
onclick="set(0)"
@ -198,7 +210,13 @@
class="w3-badge dot w3-border w3-hover-yellow"
onclick="set(4)"
></span>
<div class="w3-jumbo" style="flex: 1 0; cursor: pointer" onclick="show(1)">&#10095;</div>
<div
class="w3-jumbo"
style="flex: 1 0; cursor: pointer"
onclick="show(1)"
>
&#10095;
</div>
</div>
<script>
let index = 0;
@ -229,7 +247,7 @@
index == slides.length - 1 ? 'hidden' : 'visible';
}
}
window.addEventListener('keyup', function(event) {
window.addEventListener('keyup', function (event) {
if (event.key == 'ArrowLeft') {
show(-1);
} else if (event.key == 'ArrowRight') {