diff options
| author | jmb462 <jmb462@gmail.com> | 2022-02-13 14:16:12 +0100 |
|---|---|---|
| committer | Jean-Michel Bernard <jmb462@gmail.com> | 2022-05-16 20:24:58 +0200 |
| commit | d0475046014470543dbd23edf82b9e5f36d050f2 (patch) | |
| tree | 8eafd18f17b6e58a7546dfe018b9e8f9dee33246 /thirdparty/pcre2 | |
| parent | 4654de547458cc69a36abf6df65c219469abfa85 (diff) | |
Prevent docks to be reset to first tab when switching dock visibility
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions