dodona-edu / papyros

📜 Scratchpad for Python and JS, running in the browser.
https://papyros.dodona.be/
MIT License
18 stars 8 forks source link

Bump the codemirror group with 3 updates #744

Closed dependabot[bot] closed 1 month ago

dependabot[bot] commented 2 months ago

Bumps the codemirror group with 3 updates: @codemirror/autocomplete, @codemirror/commands and @codemirror/view.

Updates @codemirror/autocomplete from 6.17.0 to 6.18.0

Changelog

Sourced from @​codemirror/autocomplete's changelog.

6.18.0 (2024-08-05)

Bug fixes

Style the info element so that newlines are preserved, to make it easier to display multi-line info from a string source.

New features

When registering an abort handler for a completion query, you can now use the onDocChange option to indicate that your query should be aborted as soon as the document changes while it is running.

Commits
  • 4f1734c Mark version 6.18.0
  • 5392819 Make the info tooltip white-space: pre-line
  • a6ba03d Add support for an onDocChange option to query abort handlers
  • See full diff in compare view


Updates @codemirror/commands from 6.6.0 to 6.6.1

Changelog

Sourced from @​codemirror/commands's changelog.

6.6.1 (2024-08-31)

Bug fixes

Fix a bug in the undo history that would cause it to incorrectly track inverted effects when adding multiple edits to a single history event.

Commits


Updates @codemirror/view from 6.29.1 to 6.33.0

Changelog

Sourced from @​codemirror/view's changelog.

6.33.0 (2024-08-24)

Bug fixes

Make it easier to move the pointer over a hover tooltip with an arrow by not closing the tooltip when the pointer is moving over the gap for the arrow.

New features

The new EditorView.clipboardInputFilter and clipboardOutputFilter facets allow you to register filter functions that change text taken from or sent to the clipboard.

6.32.0 (2024-08-12)

Bug fixes

Fix a bug where the editor could draw way too big a viewport when not managing its own scrollbar.

New features

The new gutterWidgetClass facet makes it possible to add a class to gutter elements next to widgets.

6.31.0 (2024-08-11)

Bug fixes

Avoid the editor's geometry measurements becoming incorrect when fonts finish loading by scheduling a measure on document.fonts.ready.

Avoid an issue where Chrome would incorrectly scroll the window when deleting lines in the editor.

Fix an issue where in some layouts editor content would be drawn on top of panel elements.

Fix an issue where coordsAtPos would return null when querying a position in a block widget.

New features

The new lineNumberWidgetMarker facet makes it possible to insert markers into the line number gutter for widgets.

6.30.0 (2024-08-05)

Bug fixes

Make spell check corrections work again on EditContext-enabled Chrome versions.

New features

The value returned by hoverTooltip now has an active property providing the state field used to store the open tooltips.

Commits
  • e7b62aa Mark version 6.33.0
  • 0a5bd27 Add support for clipboardInputFilter/clipboardOutputFilter
  • b58ff33 Include arrow's vertical extent when checking whether the pointer is over a t...
  • d7ac939 Mark version 6.32.0
  • 4ce14c1 Export a gutterWidgetClass facet
  • fa5cfc9 Fix huge viewports being computed for some document-scrollable editors
  • 31f31e3 Mark version 6.31.0
  • f40079c Make coordinate queries in block widgets work
  • 228bab7 Make sure panels have a higher z-index than the editor
  • 5d7dbe6 Export a lineNumberWidgetMarker facet
  • Additional commits viewable in compare view


Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions
dependabot[bot] commented 1 month ago

Looks like these dependencies are updatable in another way, so this is no longer needed.