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/depsgraph/DEG_depsgraph_query.h | |
| 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/depsgraph/DEG_depsgraph_query.h')
0 files changed, 0 insertions, 0 deletions