Export the HoverSource type #66

Closed

remcohaszing wants to merge 1 commit from export-hover-source into main

pull from: export-hover-source

merge into: codemirror:main

codemirror:main

codemirror:ios-selection-handles

codemirror:block-wrapper

codemirror:edit-context

Conversation 1 Commits 1 Files changed 2 +2 -2

remcohaszing commented 2024-07-24 17:57:15 +02:00 (Migrated from github.com)

Copy link

The HoverSource type can be useful for consumers.

The `HoverSource` type can be useful for consumers.

marijnh commented 2024-07-24 22:05:31 +02:00 (Migrated from github.com)

Copy link

Done, slightly differently, in attached patch.

Done, slightly differently, in attached patch.

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

codemirror/view!66

No description provided.