diff --git a/.gitignore b/.gitignore index bbd0ed57b0..ab0f35568b 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ node_modules .DS_Store npm-debug.log _includes/readmes/*.md +.idea # testing coverage diff --git a/_config.yml b/_config.yml index 1aef277b0f..58f83a0173 100644 --- a/_config.yml +++ b/_config.yml @@ -48,6 +48,7 @@ default_js: - "https://cdnjs.cloudflare.com/ajax/libs/clipboard.js/1.5.13/clipboard.min.js" - "https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.js" - "/scripts/search.js" + - "/scripts/service-worker.init.js" - "/scripts/clipboard.js" - "/scripts/open-in-repl.js" diff --git a/_includes/header.html b/_includes/header.html index e66aed342b..f1f874f626 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -1,5 +1,10 @@