diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-01 22:10:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-01 22:10:35 +0100 |
| commit | 27b74f42b4fd6b6e56b7a4924697d8881488bee1 (patch) | |
| tree | db5936d6bcca1f3824815586c06cfa02678259eb /doc | |
| parent | 85fa17d3c29156011109f6ac375bedd9c69a5115 (diff) | |
| parent | a77e869b87383be8949cd9f246dda37ed96a3c8e (diff) | |
Merge pull request #34731 from timothyqiu/tree-scroll
Ensures cursor visible for Tree with title
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions