Skip to content
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

Update snapshots #5

Draft
wants to merge 62 commits into
base: master
Choose a base branch
from
Draft

Update snapshots #5

wants to merge 62 commits into from

Conversation

krassowski
Copy link
Owner

No description provided.

HaudinFlorence and others added 30 commits May 2, 2023 10:11
…), add a listener, try to reintroduce syntax highlighting (not yet working) and introduce minor css changes.
Update onGutterClick method, syncModel
Update of the mergeView
Perform some renaming
Add methods to remove the line-chunk mapping and the gutter markers
Refactoring of the code : remove most of create effect methods except for the gutter effects.
Choose the extensions to be added from Jupyterlab default ones
Migrate the synchronized scrolling
Add transparent borders to the chunk decorations
Update mergeview.ts and relative styling to make nbdiff work
Update mergeview.ts and editor.ts with minor changes
Update example9 files.
Remove any reference to jupyter_server_mathjax and related references.
HaudinFlorence and others added 23 commits September 5, 2023 16:19
Co-authored-by: Michał Krassowski <5832902+krassowski@users.noreply.github.com>
Co-authored-by: Michał Krassowski <5832902+krassowski@users.noreply.github.com>
Fix `lineChunks` and editor configuration, including `readOnly`
Restore `getMergedValue()`, fix editor outline, remove unused class
@krassowski
Copy link
Owner Author

krassowski commented Sep 8, 2023

bot please update playwright snapshots

@github-actions
Copy link

github-actions bot commented Sep 8, 2023

Playwright windows-latest snapshots updated.

@github-actions
Copy link

github-actions bot commented Sep 8, 2023

Playwright ubuntu-22.04 snapshots updated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants