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/plugins/script_editor_plugin.cpp | |
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/plugins/script_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions