flexx
flexx copied to clipboard
Integrate Flexx in JupyterLab
This is a meta issue to keep track of the things needed to integrate Flexx in JupyterLab, eventually to allow users to create JLab plugins using Flexx. Related discussion in #253.
PR's that are merged:
- ~~#225~~ #271 started a major refactoring of the asset system, due to the profound changes, but it being unfinished, many of the PR's below were/will merged into it. Originally, this PR:
- Make Flexx export its JS using AMD modules
- Implements its own AMD loaded at
window.flexx.define. - Many subsequent improvements (see the PR for details)
- #266 is another significant refactoring of the asset system that automates a lot of things, making the user's life a lot easier.
- #254 Makes Flexx' CSS more modular, avoid conflicts with existing Phosphor CSS on the page, and make it possible to disable all its own phosphor CSS by disabling one
<style>. - #264 Makes it possible to run Flexx as part of another (i.e. JLab's) Tornado app.
- #290 Makes it easier for Flexx' JS modules to load/define module globals.
- #291 Use Phosphor from JLab
- Perhaps we need more changes to make the intended user experience of using Flexx in JLab work. Though we still need to figure out what we want it to look like.
hi @almarklein . When the Firefox need goes away in the current roadmap ?
@stonebig what Firefox need do you mean? Flexx should work fine in Firefox, Chrome and Edge.
Still interested in this :-) Any better idea what it would take?
It would need some investigation if we'd like to revive this again. At the least we'd need to make a Jupyterlab extension (because JLab no longer allows injecting of JS). This might be problematic, because it might prevent the use of custom widgets (because they'd not be part of the extension). But I don't know enough about the current state of JLab extensions to be sure.
You actually got some work done the day after DDay ( Disaster Day Nov 8 2016) ??
You actually got some work done the day after DDay ( Disaster Day Nov 8 2016) ??
I live in The Netherlands (Europe). So I yelled "WTF" and got back to work.