-
-
Notifications
You must be signed in to change notification settings - Fork 3.4k
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
Integrate open tabs into running panel #8886
Conversation
Thanks for making a pull request to JupyterLab! To try out this branch on binder, follow this link: |
ff0b530
to
97748a8
Compare
@blink1073 I will need help on this PR briefly to make sure I am properly removing all the artifacts for the old tabmanager extension. |
OK, all major things have been addressed other than needing to make sure the old tabmanager extension has been fully and properly removed. Screenshot in initial comments has been updated to reflect the current state. |
Looks like the tests are failing due to some unrelated documentation links. |
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.
LGTM, thanks! I caught one extra integrity change.
This is ready to be merged. |
Nevermind, merge conflict, rebasing. |
5737d3c
to
29bb448
Compare
Rebased, should be ready for merging. |
Also, this is a pain to rebase each time we release (lots of conflicting package.json files), so if we can merge before the next release, that would be nice :-) |
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.
Thanks!
these should have been removed in jupyterlab#8886
* Disallow more than one bare HTML tag * Remove dangling tab-manager references these should have been removed in #8886 * Remove dialog button rule with complex selector which has no effect * Remove stray style which should have been removed with #6653 * Remove one more dangling tab-manager style * Enable `selector-max-class` stylelint rule * Enable `selector-max-compound-selectors` stylelint rule * Enable selector-max-universal: 1 to prevent very bad CSS (while still allowing somewhat bad CSS for now). * Make use of `stylelint-disable-next-line` where practical
Todo:
References
#8650
Code changes
detail
toIRunningItem
to provide a second column of information after the label.shutdownLabel
,shutdownAll
,shutdownAllConfirmationText
,shutdownItemIcon
toIRunningSessions.IManager
to allow sections to customize language and iconography of "shutting down".User-facing changes
Backwards-incompatible changes
None.