mirror of
https://github.com/pyscript/pyscript.git
synced 2025-12-20 10:47:35 -05:00
9dad29ec17
* Remove duplicate LICENSE. * Remove un-userd pyscript.sw directory and its content. * Remove ReadTheDocs settings (unused). * Remove un-used pyproject.toml * Remove now unused CHANGELOG. Changes now tracked via release notes on GitHub. * Updated / cleaned release page template and associated GH actions. * Update prettierignore to remove un-needed refs. * Move troubleshooting into correct README. * Add reason for the index.html * Rename the "pyscript.core" directory to "core". * Update PR template because CHANGELOG is no longer used. * Codespell configuration in pyproject.toml. * Update pyscript.core -> core in .githubignore * Remove test-results/.last-run.json. This should be ignored by git. * Pin nodejs version. --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
40 lines
1.3 KiB
HTML
40 lines
1.3 KiB
HTML
<!doctype html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="UTF-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
<title>PyScript Next</title>
|
|
<link rel="stylesheet" href="../../dist/core.css">
|
|
|
|
<!-- the PyWorker approach -->
|
|
<script type="module">
|
|
import { PyWorker, whenDefined } from '../../dist/core.js';
|
|
whenDefined('py').then(() => {
|
|
PyWorker('./worker.py', {config: {fetch: [{files: ['./a.py']}]}});
|
|
});
|
|
// the type is overwritten as "pyodide" in PyScript as the module
|
|
// lives in that env too
|
|
</script>
|
|
|
|
<!-- the worker attribute -->
|
|
<script type="py" src="./worker.py" config="./config.json" worker></script>
|
|
|
|
<!-- this is only to test the non-blocking behavior -->
|
|
<script>
|
|
addEventListener('DOMContentLoaded', () => {
|
|
const div = document.body.appendChild(
|
|
document.createElement('div')
|
|
);
|
|
(function monitor() {
|
|
const date = new Date;
|
|
div.textContent = `${date.getSeconds()}.${date.getMilliseconds()}`;
|
|
requestAnimationFrame(monitor);
|
|
}());
|
|
});
|
|
</script>
|
|
</head>
|
|
<body>
|
|
<div id="test"></div>
|
|
</body>
|
|
</html>
|