From f515a1ab4eaceaf4d662ae4e252d8cbeccc08a20 Mon Sep 17 00:00:00 2001 From: "Nicholas H.Tollervey" Date: Fri, 10 Nov 2023 08:53:47 +0000 Subject: [PATCH 1/2] 2023.11.1 --- docs/beginning-pyscript.md | 6 +++--- docs/javascripts/mini-coi.js | 28 ---------------------------- docs/user-guide/first-steps.md | 4 ++-- mkdocs.yml | 2 -- overrides/main.html | 11 ----------- version.json | 2 +- 6 files changed, 6 insertions(+), 47 deletions(-) delete mode 100644 docs/javascripts/mini-coi.js delete mode 100644 overrides/main.html diff --git a/docs/beginning-pyscript.md b/docs/beginning-pyscript.md index 0a4f28a..6a59b8a 100644 --- a/docs/beginning-pyscript.md +++ b/docs/beginning-pyscript.md @@ -70,7 +70,7 @@ level. You can see this application embedded into the page below: - + Let's explore each of the three files that make this app work. @@ -106,7 +106,7 @@ module in the document's `` tag: 🦜 Polyglot - Piratical PyScript - + @@ -155,7 +155,7 @@ In the end, our HTML should look like this: 🦜 Polyglot - Piratical PyScript - +

Polyglot 🦜 💬 🇬🇧 ➡️ 🏴‍☠️

diff --git a/docs/javascripts/mini-coi.js b/docs/javascripts/mini-coi.js deleted file mode 100644 index b7a23bf..0000000 --- a/docs/javascripts/mini-coi.js +++ /dev/null @@ -1,28 +0,0 @@ -/*! coi-serviceworker v0.1.7 - Guido Zuidhof and contributors, licensed under MIT */ -/*! mini-coi - Andrea Giammarchi and contributors, licensed under MIT */ -(({ document: d, navigator: { serviceWorker: s } }) => { - if (d) { - const { currentScript: c } = d; - s.register(c.src, { scope: c.getAttribute('scope') || '.' }).then(r => { - r.addEventListener('updatefound', () => location.reload()); - if (r.active && !s.controller) location.reload(); - }); - } - else { - addEventListener('install', () => skipWaiting()); - addEventListener('activate', e => e.waitUntil(clients.claim())); - addEventListener('fetch', e => { - const { request: r } = e; - if (r.cache === 'only-if-cached' && r.mode !== 'same-origin') return; - e.respondWith(fetch(r).then(r => { - const { body, status, statusText } = r; - if (!status || status > 399) return r; - const h = new Headers(r.headers); - h.set('Cross-Origin-Opener-Policy', 'same-origin'); - h.set('Cross-Origin-Embedder-Policy', 'require-corp'); - h.set('Cross-Origin-Resource-Policy', 'cross-origin'); - return new Response(body, { status, statusText, headers: h }); - })); - }); - } -})(self); diff --git a/docs/user-guide/first-steps.md b/docs/user-guide/first-steps.md index 41515c4..9f48b1b 100644 --- a/docs/user-guide/first-steps.md +++ b/docs/user-guide/first-steps.md @@ -20,9 +20,9 @@ CSS: - + - + diff --git a/mkdocs.yml b/mkdocs.yml index 039c5c9..ff7ec16 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -8,8 +8,6 @@ theme: logo: assets/images/pyscript-black.svg - custom_dir: overrides - palette: # Palette toggle for automatic mode - media: "(prefers-color-scheme)" diff --git a/overrides/main.html b/overrides/main.html deleted file mode 100644 index 7f2577d..0000000 --- a/overrides/main.html +++ /dev/null @@ -1,11 +0,0 @@ -{% extends "base.html" %} - -{% block libs %} -{%- for script in config.extra_javascript %} - {{ script | script_tag }} -{%- endfor %} -{{ super() }} -{% endblock %} - -{% block scripts %} -{% endblock %} diff --git a/version.json b/version.json index 4ae6d7d..3e546ec 100644 --- a/version.json +++ b/version.json @@ -1,3 +1,3 @@ { - "version": "2023.11.1.RC3" + "version": "2023.11.1" } From eb105420b187fed2d488fa835111975c48b6ba3c Mon Sep 17 00:00:00 2001 From: "Nicholas H.Tollervey" Date: Fri, 10 Nov 2023 08:55:48 +0000 Subject: [PATCH 2/2] Remove extra JS. --- mkdocs.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/mkdocs.yml b/mkdocs.yml index ff7ec16..18a9f35 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,8 +1,5 @@ site_name: PyScript -extra_javascript: - - javascripts/mini-coi.js - theme: name: material