Connor Peet and GitHub
1c0c4726d3
testing: finish up coverage decorations ( #202391 )
...
* testing: finish up coverage decorations
- Adds an inline decorator for empty-range branches
- Adds hover information for inline coverage hovers
- Fixes the editor not handling decorations that get after/before
content in `updateDecorationOptions`
- Adds an option `label` for branches
- A bunch of other misc tweaks to get coverage looking nice
- Keep decorations in sync if a user makes changes in editor
* update tests
2024-01-13 07:35:11 +01:00
..
2023-11-22 14:05:46 +01:00
2024-01-13 07:35:11 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-16 17:29:35 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-06-14 16:57:06 +02:00
2023-11-22 14:05:46 +01:00
2023-11-16 17:29:35 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-16 17:29:35 +01:00
2023-11-22 14:05:46 +01:00
2023-04-02 09:35:39 +02:00
2024-01-13 00:38:29 +00:00
2024-01-13 00:38:29 +00:00
2023-11-22 14:05:46 +01:00
2023-06-14 16:57:06 +02:00
2023-12-15 18:49:51 +01:00
2023-12-15 18:49:51 +01:00
2023-11-22 14:05:46 +01:00
2023-04-02 09:35:39 +02:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-07 16:51:38 +01:00
2023-10-09 09:34:15 +02:00
2023-11-22 14:05:46 +01:00
2023-11-08 16:09:30 +01:00
2023-06-13 08:18:05 +02:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-10-04 12:57:38 -07:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-03-30 09:26:11 +02:00
2023-11-22 14:05:46 +01:00
2023-11-16 17:29:35 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-11-22 14:05:46 +01:00
2023-06-20 14:34:11 -07:00