diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-10 10:03:26 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-10 10:03:26 +0200 |
| commit | 104af08e9d7c8308c2dd6cad89a0caee774043a0 (patch) | |
| tree | 94d96161bb04bf5e659b0a20345bbb14290a320b /core/extension | |
| parent | 1c3a63a970108ebd0168d7386036a92583df762c (diff) | |
| parent | d6e60f45a13074c2a72c583cfab885e5539eb903 (diff) | |
Merge pull request #65805 from MewPurPur/improve-breakpoint-hovering
Improve bookmark and breakpoint indicators
Diffstat (limited to 'core/extension')
0 files changed, 0 insertions, 0 deletions