Skip to content

Conversation

minrk
Copy link
Member

@minrk minrk commented Apr 8, 2016

PR #1279 didn't auto-apply cleanly, so I had to do a manual patch.

Opening as a PR so @jdfreder and @parente can double-check that I didn't miss something from #1279.

@minrk minrk added this to the 4.2 milestone Apr 8, 2016
PR jupyter#1279 didn't auto-apply cleanly, so I had to do a manual backport.
@minrk minrk force-pushed the backport-widget-hardcode branch from 42cf64b to d542745 Compare April 8, 2016 19:47
})
// BEGIN HARDCODED WIDGETS HACK
.then(function() {
if (!utils.is_loaded('widgets/extension')) {
Copy link
Member

Choose a reason for hiding this comment

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

Now it is jupyter-js-widgets/extension. I opened the corresponding PR in master.

@jdfreder jdfreder merged commit 9d25023 into jupyter:4.x Apr 10, 2016
@jdfreder
Copy link
Contributor

Thanks @minrk , this looks good
🍥 🐟

@SylvainCorlay
Copy link
Member

@jdfreder you missed my inline remark.

@jdfreder
Copy link
Contributor

No I saw it, it's okay, we can backport another.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 16, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants