diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-26 14:54:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-26 14:54:14 +0200 |
| commit | f037eb7b0b81b30769c82784f790a60ca48438a6 (patch) | |
| tree | b96699612a9919d6cc8dbef67c8e2b58e10fda69 /doc/classes/StreamPeer.xml | |
| parent | ef9d3c0d8811b43b234499e2a6081a7923b42cb8 (diff) | |
| parent | df0c8386a9fef3059d498ea61683448e388baa97 (diff) | |
Merge pull request #33084 from Paulb23/33077_minimap_fold_crash
Fix text minimap crash when last line is folded
Diffstat (limited to 'doc/classes/StreamPeer.xml')
0 files changed, 0 insertions, 0 deletions