diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-10 07:55:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-10 07:55:41 +0100 |
| commit | 70c435272a3e7fa0071ede65bbcfa06223d93df9 (patch) | |
| tree | c07b066a68f2dca24e39d3c36fcb1854fe0ddf7d /editor | |
| parent | d8825fb253dbdf8b149f678b35a45fb3763a0d97 (diff) | |
| parent | 814f9015f8cf6ea5cfd440b7a8045ed6a56a4ca1 (diff) | |
Merge pull request #44124 from volzhs/tabs-in-front
Add option to draw all tabs in front
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions