Pull requests - codemirror/view - code.haverbeke.berlin

codemirror/view

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New pull request

Change WidgetType.updateDOM from type to this

#81 by not-my-profile was merged 2026-03-12 08:16:25 +01:00

Fix vertical cursor movement at wrap boundaries

#80 by jessegrosjean was closed 2026-03-11 17:41:26 +01:00

Fix Cmd+C copying only the first line when CodeMirror is the first child of ProseMirror

#79 by iamakulov was merged 2026-01-14 06:27:06 +01:00

Fix a selection issue where the CodeMirror is the first element in ProseMirror

#78 by iamakulov was closed 2026-01-19 00:39:12 +01:00

fix: clear restartTimeout on destroy

#77 by Cherry was merged 2026-01-05 07:42:07 +01:00

Fix cursor assoc not being enforced on initial view focus

#76 by rubywwwilde was merged 2026-01-03 09:54:52 +01:00

Be robust against Firefox sometimes returning a zero-width rect

#75 by DrRataplan was closed 2025-12-08 21:35:45 +01:00

FIX: Fix detection of a parent transformed element on Firefox

#74 by vincentbernat was closed 2025-10-21 19:29:17 +02:00

WIP: introduce unscaled measurements for consistent gaps in a scaled editor

#73 by AmadeusWM was closed 2025-07-14 12:40:04 +02:00

Guard against Infinity height in HeightMap which results in NaN to value and offset

#72 by sfc-gh-klin was closed 2025-07-15 08:36:09 +02:00

Add crelt as a dependency

#71 by frankvd was merged 2025-05-30 10:50:13 +02:00

fix: Update w3c-keyname to v2.2.8

#70 by nathanlesage was closed 2025-04-25 20:14:45 +02:00

Pass prevWidget to widget.updateDOM

#69 by nanokind was closed 2025-02-23 04:06:32 +01:00

#1430 Avoid exceptions when running in the headless browser mode

#68 by ievgennaida was closed 2024-08-26 17:26:06 +02:00

fix Safari 13 addEventListener on MediaQueryList

#67 by nikoPLP was merged 2024-07-28 15:26:04 +02:00

Export the HoverSource type

#66 by remcohaszing was closed 2024-07-24 22:05:18 +02:00

Fix tooltip overflow

#65 by JuanM04 was merged 2024-07-24 22:00:49 +02:00

Replace navigator with nav in browser.ts

#64 by pikachub2005 was merged 2024-05-10 13:50:59 +02:00

Account for scale when updating the gutter height

#63 by viorgu was merged 2024-02-20 11:06:10 +01:00

Android/GBoard: Fix pressing Enter after accepting a completion doesn't fire event handlers (#1312)

#62 by personalizedrefrigerator was closed 2024-02-19 18:03:36 +01:00

1 2 3 4