 Daniel Imms
|
7a652c4169
|
Allow up to double the size for overview ruler decorations
Fixes #3840
|
2022-05-27 11:56:54 -07:00 |
|
|
Daniel Imms
|
bcb71e854f
|
Fix decoration positioning
In _createElement the element wasn't set on the decoration yet.
Fixes 3818
|
2022-05-19 09:32:57 -07:00 |
|
 Megan Rogge
|
a5f2ea336e
|
update search results onBufferContentsChange (#3811)
|
2022-05-17 10:00:55 -07:00 |
|
|
Megan Rogge
|
de5df69333
|
share animation frame with renderService (#3796)
|
2022-05-17 09:52:46 -07:00 |
|
|
Daniel Imms
|
900200b871
|
Merge remote-tracking branch 'upstream/master' into 3773
|
2022-05-13 08:46:05 -07:00 |
|
|
Daniel Imms
|
748d0cc74f
|
Fix missed decorations casing
|
2022-05-12 11:49:57 -07:00 |
|
|
Daniel Imms
|
cd01157e55
|
Rename decorations2 -> decorations to fix casing
|
2022-05-12 11:19:07 -07:00 |
|