diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2020-12-21 00:26:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-21 00:26:08 +0100 |
commit | f7ddcbf446e88b155f1172d94d30a7974e67e8a8 (patch) | |
tree | 2f3a4ae40e8f9fa3b9b6720aa8e42670bc608aa9 /editor/fileserver | |
parent | 153c132a7e7e7cea00c420b93257f3ebd56cf2dc (diff) | |
parent | 0394ff3c998f40c40206a8eda610cebdcca9e162 (diff) |
Merge pull request #44328 from gongpha/tabs-label-incorrect
Refresh TextLine buffer when moving a tab
Diffstat (limited to 'editor/fileserver')
0 files changed, 0 insertions, 0 deletions