diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-18 18:12:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 18:12:26 +0200 |
| commit | 1bed4c6783ddf55efc16ad640d64eff11c67af27 (patch) | |
| tree | 97bcf226528817ad8781588dedb2b5e09634265f /editor | |
| parent | 0afa77a8a2e148fac6b57fab3e85c6e631e12c63 (diff) | |
| parent | b5de36b29d1c7a9535e733caf4f2bab73e18f8d2 (diff) | |
Merge pull request #9629 from kubecz3k/tabs-addons
Tabs enhancements: get_tab_rect(), move_tab()
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions