diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-28 00:16:08 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-28 00:16:08 +0200 |
| commit | 73f5683c344d916dec98ab524bd3f333d3eacd8d (patch) | |
| tree | 5711632378cb340f81d86bcefa7c4160b1125387 /thirdparty/pcre2/src | |
| parent | 0f1efa7c555aec7af9170831ab7e3c2386ef9f5b (diff) | |
| parent | d0475046014470543dbd23edf82b9e5f36d050f2 (diff) | |
Merge pull request #58049 from jmb462/fix-distraction-mode-docks-tab
Prevent docks to be reset to first tab when switching dock visibility
Diffstat (limited to 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions