Fix incorrect style selector for wrap #308

Merged

PhilippRaab merged 1 commit from fix-one-dark-theme into master 2020-10-05 16:50:56 +02:00

Conversation 2 Commits 1 Files changed 1 +1 -1

PhilippRaab commented 2020-10-05 16:42:51 +02:00 (Migrated from github.com)

Copy link

No description provided.

marijnh commented 2020-10-05 16:51:00 +02:00 (Migrated from github.com)

Copy link

Thanks!

Thanks!

marijnh commented 2020-10-05 16:59:56 +02:00 (Migrated from github.com)

Copy link

Oh, seems like there's a bunch of precedence issues with the theme (and theming in general) as well. Opened #309 for that.

Oh, seems like there's a bunch of precedence issues with the theme (and theming in general) as well. Opened #309 for that.

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/dev!308

No description provided.