Skip to content

Commit

Permalink
bump
Browse files Browse the repository at this point in the history
  • Loading branch information
@fonsp
fonsp committed Oct 30, 2020
1 parent 7728d58 commit 1ab89bb
Show file tree
Hide file tree
Showing 7 changed files with 26 additions and 23 deletions.
2 changes: 1 addition & 1 deletion Project.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ name = "Pluto"
uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
license = "MIT"
authors = ["Fons van der Plas <fonsvdplas@gmail.com>", "Mikołaj Bochenski <iceflamecode@gmail.com>"]
version = "0.12.4"
version = "0.12.5"

[deps]
Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
Expand Down
2 changes: 1 addition & 1 deletion frontend/common/OfflineHTMLExport.js
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ export const offline_html = async ({ pluto_version, body, head }) => {
<link rel="stylesheet" href="${CDNified(pluto_version, "editor.css")}" type="text/css" />
<link rel="stylesheet" href="${CDNified(pluto_version, "treeview.css")}" type="text/css" />
<link rel="stylesheet" href="${CDNified(pluto_version, "hide-ui.css")}" type="text/css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css" type="text/css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css" type="text/css" />
<script src="${CDNified(pluto_version, "treeview.js")}"></script>
Expand Down
3 changes: 3 additions & 0 deletions frontend/editor.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -198,6 +198,9 @@ pluto-output.rich_output code {
border-radius: 8px;
background-color: #f2f2f2;
}
pluto-output.rich_output pre code {
padding: 0px;
}

pluto-output pre {
display: inline-block;
Expand Down
22 changes: 11 additions & 11 deletions frontend/editor.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,17 +21,17 @@
<script src="https://cdn.jsdelivr.net/npm/lodash@4.17.20/lodash.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/@observablehq/stdlib@3.3.1/dist/stdlib.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/iframe-resizer@4.2.11/js/iframeResizer.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/mode/julia/julia.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/display/placeholder.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/edit/matchbrackets.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/runmode/runmode.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/comment/comment.min.js" defer></script>
<!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/edit/closebrackets.min.js" defer></script> -->
<!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/search/searchcursor.min.js" defer></script> -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.css" />
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/mode/julia/julia.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/display/placeholder.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/edit/matchbrackets.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/runmode/runmode.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/comment/comment.min.js" defer></script>
<!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/edit/closebrackets.min.js" defer></script> -->
<!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/search/searchcursor.min.js" defer></script> -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.css" />

<link rel="stylesheet" href="editor.css" type="text/css" />
<link rel="stylesheet" href="treeview.css" type="text/css" />
Expand Down
2 changes: 1 addition & 1 deletion frontend/index.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -220,7 +220,7 @@ loading-bar {
}

body.loading loading-bar {
animation: 12s ease-in-out load;
animation: 16s ease-in-out load;
display: block;
}

Expand Down
10 changes: 5 additions & 5 deletions frontend/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,11 +19,11 @@
<script src="common/RegisterSW.js"></script>

<script src="https://cdn.jsdelivr.net/npm/@observablehq/stdlib@3.3.1/dist/stdlib.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/display/placeholder.min.js" defer></script>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.css">
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.js" defer></script>
<script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/display/placeholder.min.js" defer></script>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.css">


<link rel="stylesheet" href="index.css">
Expand Down
8 changes: 4 additions & 4 deletions frontend/juliamono.css
View file
Original file line number Diff line number Diff line change
@@ -1,29 +1,29 @@
@font-face {
font-family: JuliaMono;
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-RegularLatin.woff2") format("woff2");
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-RegularLatin.woff2") format("woff2");
font-display: swap;
font-weight: 400;
unicode-range: U+00-7F; /* Basic Latin characters */
}

@font-face {
font-family: JuliaMono;
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-BoldLatin.woff2") format("woff2");
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-BoldLatin.woff2") format("woff2");
font-display: swap;
font-weight: 700;
unicode-range: U+00-7F; /* Basic Latin characters */
}

@font-face {
font-family: JuliaMono;
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-Regular.woff2") format("woff2");
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-Regular.woff2") format("woff2");
font-display: swap;
font-weight: 400;
}

@font-face {
font-family: JuliaMono;
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-Bold.woff2") format("woff2");
src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-Bold.woff2") format("woff2");
font-display: swap;
font-weight: 700;
}

2 comments on commit 1ab89bb

@fonsp
Copy link
Owner Author

@fonsp fonsp commented on 1ab89bb Oct 30, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/23919

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.12.5 -m "<description of version>" 1ab89bbd9e33b0e680e3a72248e73efb45b350a8
git push origin v0.12.5

Please sign in to comment.