Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
π’ Statistics and async asset loading
- Loading branch information
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -2,7 +2,7 @@ name = "Pluto" | |
| uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781" | ||
| license = "MIT" | ||
| authors = ["Fons van der Plas <[email protected]>", "MikoΕaj Bochenski <[email protected]>"] | ||
| version = "0.8.0" | ||
|
|
||
| [deps] | ||
| Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -2,7 +2,7 @@ | |
| <html lang="en"> | ||
|
|
||
| <head> | ||
| <meta name="viewport" content="width=device-width" /> | ||
| <title>β‘ Pluto.jl β‘</title> | ||
| <meta charset="utf-8" /> | ||
| <script> | ||
|
|
@@ -14,16 +14,16 @@ | |
| <link rel="icon" type="image/png" sizes="16x16" href="assets/favicon-16x16.png"> | ||
| <link rel="icon" type="image/png" sizes="32x32" href="assets/favicon-32x32.png"> | ||
| <link rel="icon" type="image/png" sizes="96x96" href="assets/favicon-96x96.png"> | ||
| <meta name="description" content="Pluto.jl notebooks" /> | ||
|
|
||
| <script src="assets/client.js" defer></script> | ||
| <script src="assets/filepicker.js" defer></script> | ||
| <style> | ||
| @import url('https://fonts.googleapis.com/css?family=Roboto+Slab:700&display=swap'); | ||
| @import url('https://fonts.googleapis.com/css?family=Roboto+Mono:400,400i&display=swap&subset=cyrillic,cyrillic-ext,greek,greek-ext,latin-ext,vietnamese'); | ||
|
|
||
| /* GENERAL PAGE LAYOUT */ | ||
| html { | ||
| font-size: 17px; | ||
| } | ||
|
|
||
|
|
@@ -195,7 +195,7 @@ | |
| border-bottom-left-radius: 0 !important; | ||
| } | ||
|
|
||
| #logocontainer:after { | ||
| margin-left: auto; | ||
| align-self: center; | ||
| } | ||
|
|
@@ -235,10 +235,10 @@ | |
| opacity: 1.0; | ||
| } | ||
|
|
||
|
|
||
| } | ||
|
|
||
|
|
||
|
|
||
| body.disconnected>header { | ||
| background-color: rgba(255, 169, 114, 0.56); | ||
|
|
@@ -308,9 +308,9 @@ | |
| cell.code-folded>cellinput { | ||
| display: none; | ||
| } | ||
|
|
||
| cell.output-notinsync>cellinput, | ||
| cell.code-differs>cellinput { | ||
| display: unset; | ||
| } | ||
|
|
||
|
|
@@ -379,9 +379,9 @@ | |
| cell.code-folded>runarea { | ||
| display: none; | ||
| } | ||
|
|
||
| cell.output-notinsync>runarea, | ||
| cell.code-differs>runarea { | ||
| display: block; | ||
| } | ||
|
|
||
|
|
@@ -420,8 +420,8 @@ | |
| display: none; | ||
| } | ||
|
|
||
| @media screen and (min-width: 1050px) { | ||
|
|
||
| #helpbox-wrapper { | ||
| display: block; | ||
| position: sticky; | ||
|
|
@@ -439,7 +439,7 @@ | |
| width: 300px; | ||
| height: 400px; | ||
| /* overflow: hidden; */ | ||
|
|
||
| background-color: white; | ||
| /* border: 2px solid darkgray; */ | ||
| border-right: none; | ||
|
|
@@ -448,7 +448,7 @@ | |
| box-shadow: 0 0 11px 0px #00000010; | ||
| font-family: "Alegreya Sans", sans-serif; | ||
| } | ||
|
|
||
| helpbox>header { | ||
| background-color: #eef1f7; | ||
| color: hsl(230, 14%, 11%); | ||
|
|
@@ -458,7 +458,7 @@ | |
| cursor: pointer; | ||
| /* border-top: 4px solid #8a8a8a; */ | ||
| } | ||
|
|
||
| helpbox>section { | ||
| height: 100%; | ||
| overflow: auto; | ||
|
|
@@ -475,11 +475,11 @@ | |
| border-bottom: none; | ||
| font-size: 1rem; | ||
| } | ||
|
|
||
| helpbox>section h1 { | ||
| font-size: 1.3rem; | ||
| } | ||
|
|
||
| helpbox.hidden { | ||
| height: initial; | ||
| } | ||
|
|
@@ -488,22 +488,22 @@ | |
| display: none; | ||
| } | ||
|
|
||
| helpbox>header::before { | ||
| content: "π "; | ||
| } | ||
|
|
||
| /* helpbox.loading>header::before{ | ||
| content: "β "; | ||
| } */ | ||
|
|
||
| helpbox.hidden>header::before { | ||
| content: "π "; | ||
| } | ||
|
|
||
|
|
||
| } | ||
|
|
||
| @media screen and (min-width: 1050px) and (max-width: 1400px) { | ||
| main { | ||
| margin-right: 350px; | ||
| } | ||
|
|
@@ -520,38 +520,49 @@ | |
| z-index: 7; | ||
| } | ||
|
|
||
| footer form { | ||
| height: 1.5rem; | ||
| display: flex; | ||
| flex-direction: row; | ||
| justify-content: flex-end; | ||
| } | ||
|
|
||
| footer form>* { | ||
| flex: 0 0 auto; | ||
| margin-left: .5rem; | ||
| } | ||
|
|
||
| footer form a, | ||
| footer form label { | ||
| align-self: center; | ||
| } | ||
|
|
||
| footer form>a { | ||
| margin-right: auto; | ||
| } | ||
|
|
||
| footer a { | ||
| color: black; | ||
| opacity: .6; | ||
| font-weight: 700; | ||
| } | ||
|
|
||
| @media (max-width: 650px) { | ||
| footer form>label { | ||
| display: none; | ||
| } | ||
| } | ||
|
|
||
| footer input { | ||
| border: 2px solid #818181; | ||
| font-family: "Roboto Mono"; | ||
|
|
||
| border-radius: 3px; | ||
| padding: 3px; | ||
| } | ||
|
|
||
| body>header button, | ||
| footer button { | ||
| background: #896c6c; | ||
| border-radius: 3px; | ||
| border: 2px solid #896c6c; | ||
|
|
@@ -601,31 +612,33 @@ | |
| } | ||
| } | ||
| </style> | ||
|
|
||
| <script src="https://cdn.jsdelivr.net/npm/@observablehq/[email protected]/dist/stdlib.js" defer></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/lib/codemirror.min.js" defer></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/mode/julia/julia.min.js" defer></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/addon/hint/show-hint.min.js" defer></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/addon/display/placeholder.min.js" defer></script> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/addon/edit/matchbrackets.min.js" defer></script> | ||
| <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/lib/codemirror.min.css"> | ||
| <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/addon/hint/show-hint.min.css"> | ||
|
|
||
| <link rel="stylesheet" href="assets/light.css" /> | ||
| <!-- The instant feedback form at the bottom of the page uses Google Firestore to save feedback and statistics. We DO NOT use Google Analytics, and NO DATA is sent except for data entered in the feedback form and anonymous statistics. See /statistics-info for more details. --> | ||
| <script src="https://www.gstatic.com/firebasejs/7.13.1/firebase-app.js" defer></script> | ||
| <script src="https://www.gstatic.com/firebasejs/7.13.1/firebase-firestore.js" defer></script> | ||
| </head> | ||
|
|
||
| <body class="loading no-MΞ±ΞΈJax"> | ||
| <header> | ||
| <div id="logocontainer"> | ||
| <a href="./"> | ||
| <h1> | ||
| <img src="assets/logo.svg" alt="Pluto.jl" /></h1> | ||
| </a> | ||
| <filepicker> | ||
|
|
||
| <button>Rename</button> | ||
| </filepicker> | ||
| </div> | ||
| </header> | ||
|
|
||
|
|
@@ -666,16 +679,17 @@ | |
| <footer> | ||
| <div id="info"> | ||
| <form id="feedback" action="#" method="post"> | ||
| <a id="statistics-info" href="statistics-info">Statistics</a> | ||
| <label for="opinion">π How can we make <a href="https://github.com/fonsp/Pluto.jl">Pluto.jl</a> better?</label> | ||
| <input type="text" name="opinion" id="opinion" autocomplete="off" placeholder="Instant feedback..."> | ||
| <button>Send</button> | ||
| </form> | ||
| </div> | ||
| </footer> | ||
|
|
||
| <script src="assets/bond.js" defer></script> | ||
| <script src="assets/editor.js" defer></script> | ||
| <script src="assets/feedback.js" defer></script> | ||
|
|
||
| <script> | ||
| MathJax = { | ||
|
|
||
Oops, something went wrong.
2 comments
on commit 98728e0
There was a problem hiding this comment.
@JuliaRegistrator register()
There was a problem hiding this comment.
Registration pull request created: JuliaRegistries/General/14190
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v0.8.0 -m "<description of version>" 98728e06c7b6b14137156a0dc0e13c19328697d8
git push origin v0.8.0
fons