Deduplicating options: don't compare type fields if null #10

Merged

fonsp merged 1 commit from fonsp/fix788 into main 2022-03-29 21:27:00 +02:00

Conversation 1 Commits 1 Files changed 1 +2 -1

fonsp commented 2022-03-29 18:32:39 +02:00 (Migrated from github.com)

Copy link

Fix https://github.com/codemirror/codemirror.next/issues/788

Fix https://github.com/codemirror/codemirror.next/issues/788

marijnh commented 2022-03-29 21:27:13 +02:00 (Migrated from github.com)

Copy link

Thanks!

Thanks!

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/autocomplete!10

No description provided.