diff options
author | Campbell Barton <ideasman42@gmail.com> | 2019-05-16 12:43:11 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2019-05-16 12:46:07 +0300 |
commit | f51521148fef326bd72477481618645306ea0821 (patch) | |
tree | b5eada5ad4907a65ee91c6bcf38506c95d9572ca /source/blender/blenkernel | |
parent | 59b7f3a16463f2286a8349028f15e7e7a3be06dc (diff) |
UI: use HIDE_HEADER for active tool in properties editor
Unfortunately this isn't yet compatible with category tabs,
define a duplicate panel only for the properties editor.
Diffstat (limited to 'source/blender/blenkernel')
0 files changed, 0 insertions, 0 deletions