diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-03 12:41:56 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-03 12:41:56 +0100 |
| commit | 1d92b44f47f75f4f02695a047f7f0f9bb747bc05 (patch) | |
| tree | 501c955a601d1a3ff9feef9f79a645c672fddcbb /editor | |
| parent | c5279420c8fb239f812ea23e3c6f7e7610d31a4d (diff) | |
| parent | e57cdab568a591f35fe200d9357c09f471876c4e (diff) | |
Merge pull request #70864 from timothyqiu/scroll-margin
Fix scroll grabber can't reach ends in default theme
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions