diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-05 08:30:11 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-05 08:30:11 +0200 |
| commit | 1499840f75b8c0a655b3ca23ac127361934645b0 (patch) | |
| tree | 5afff7e93488e7cddc52f26fc0f3287b5d338494 /.github | |
| parent | 9f2e907bac606fcf6c6a285910e6d4d6bf840218 (diff) | |
| parent | 2ddda13339d6ad0b58d21429dba4ed5e440905a3 (diff) | |
Merge pull request #65028 from groud/fix_split_container
Improve SplitContainer behavior, keeping asked split position whenever possible
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions