-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
66662c7
commit 9385df9
Showing
4 changed files
with
9 additions
and
7 deletions.
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 |
---|---|---|
@@ -1,7 +1,7 @@ | ||
name = "JolinPluto" | ||
uuid = "5b0b4ef8-f4e6-4363-b674-3f031f7b9530" | ||
authors = ["Stephan Sahm <[email protected]> and contributors"] | ||
version = "0.1.88" | ||
version = "0.1.89" | ||
|
||
[deps] | ||
AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150" | ||
|
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 |
---|---|---|
|
@@ -72,16 +72,17 @@ end | |
# ipywidgets support | ||
# ================== | ||
|
||
# global initialization needed for ipywidgets - this is now also included in Pluto base, so no need for this here any longer | ||
# the downside was that on reload, this was not really executed in the correct order. | ||
# still somewhen it would be nice for a package like this to create a __pluto_init__ hook or similar to ingest this in a more modular way | ||
# Something similar to IPyWidget_init() is now also included in Jolin's Pluto base. | ||
# (The downside was that on reload, this was not really executed in the correct order. | ||
# still somewhen it would be nice for a package like this to create a __pluto_init__ hook or similar to ingest this in a more modular way) | ||
# In anyway, JolinPluto is meant to support standard Pluto too, so it is important for it to be accessible and useful from standard Julia Pluto. | ||
|
||
""" | ||
IPyWidget_init() | ||
Initialize javascript for ipywidgets to work inside Pluto. | ||
""" | ||
IPyWidget_init() = @htl """ | ||
JolinPluto.IPyWidget_init() = @htl """ | ||
<!-- Load RequireJS, used by the IPywidgets for dependency management --> | ||
<script | ||
src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js" | ||
|
@@ -130,7 +131,7 @@ function Base.show(io::IO, m::MIME"text/html", w::JolinPluto.IPyWidget) | |
div.value = $(pyconvert(Any, w.widget.value)) | ||
if((window.require == null) || window.specified){ | ||
div.innerHTML = '<p>Could not find ipywidgets javascript dependencies. This should not happen, please contact <a href="mailto:[email protected]">[email protected]</a>. </p>' | ||
div.innerHTML = '<p>⚠️ Activate ipywidgets by running the following once inside Pluto ⚠️ <pre><code>using Jolin # or using JolinPluto<br/>IPyWidget_init() # <-- this is important</code></pre> </p>' | ||
} | ||
// TODO renderWidgets(div) has the advantage that no duplicates appear | ||
|
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