diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-18 14:26:38 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-18 14:26:38 +0100 |
| commit | 0e1ae3b3819a26bcf67789802107cb9ca3f414e7 (patch) | |
| tree | 626f65d2f7b4b5904373c1b0a6b4cd8ae67add52 /scene/gui/patch_9_frame.h | |
| parent | b955282d4673ea8b2240c4154b01a8cab858c2a9 (diff) | |
| parent | 0fc7be89d3d85e35a42e4b33f619f53c92694a76 (diff) | |
Merge pull request #4086 from Paulb23/toggle_draw_tabs
Option to toggle tab drawing
Diffstat (limited to 'scene/gui/patch_9_frame.h')
0 files changed, 0 insertions, 0 deletions