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/plugins/control_editor_plugin.cpp | |
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/plugins/control_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions