-
-
Notifications
You must be signed in to change notification settings - Fork 104
JupyterLab 3.0 #112
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
JupyterLab 3.0 #112
Conversation
The errorPanel isn't working: If you know how to fix it, I'm interested :-) |
Has the issue been suspended? Still not fixed as of yet.
|
The following line It assumes, that the 3rd widget (=[2]) of PanelLayout ist But now the widget Hence, I expect it now should be |
I checked, if |
const LISTING_CLASS = 'jp-FileBrowser-listing';
this._browser.node.querySelector('.' + LISTING_CLASS).focus() |
has this problem been fixed yet ? i also encounter the same problem
|
Thanks to @beenje the issue got fixed for jupyterlab-gitlab (https://pypi.org/project/jupyterlab-gitlab) but not jupyterlab-github. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Small comment on the new style structure.
And the index.css
file should not be imported any longer in src/index.ts
@@ -3,6 +3,8 @@ | |||
| Distributed under the terms of the Modified BSD License. | |||
|----------------------------------------------------------------------------*/ | |||
|
|||
@import url('base.css'); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All the styles must be moved to base.css
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this documented somewhere?
Thank you @khwj. |
Just hit this issue. @krassowski Would it be possible to have a version including this fix published to NPM? Or is there an easy way to install this extension from source? |
Yes, I will publish a new release tomorrow. |
The new versions should be up on PyPI and npm. I updated readme to reflect that prebuilt extension is shipped in the PyPI version and updated references from |
Uh oh!
There was an error while loading. Please reload this page.