diff options
| author | Campbell Barton <ideasman42@gmail.com> | 2018-12-14 01:47:10 +0300 |
|---|---|---|
| committer | Campbell Barton <ideasman42@gmail.com> | 2018-12-14 01:54:34 +0300 |
| commit | 9ea645862cfb967376bb7ae2c7f7ef8a5fe90637 (patch) | |
| tree | e92d43256374dd47e068b84cbf4be917c19401f6 /source/blender/editors/screen/area.c | |
| parent | dfa3e0ae81c89d45a193ae3d52eaa2b56f6f243b (diff) | |
Preferences: add option for header position
Sets the header position for newly created windows with few exceptions
(preferences is always bottom, file-selector is always top).
Diffstat (limited to 'source/blender/editors/screen/area.c')
| -rw-r--r-- | source/blender/editors/screen/area.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/blender/editors/screen/area.c b/source/blender/editors/screen/area.c index dd7b6fe5ce1..aae135977cb 100644 --- a/source/blender/editors/screen/area.c +++ b/source/blender/editors/screen/area.c @@ -2515,7 +2515,8 @@ int ED_area_header_alignment_or_fallback(const ScrArea *area, int fallback) int ED_area_header_alignment(const ScrArea *area) { - return ED_area_header_alignment_or_fallback(area, RGN_ALIGN_TOP); + return ED_area_header_alignment_or_fallback( + area, (U.uiflag & USER_HEADER_BOTTOM) ? RGN_ALIGN_BOTTOM : RGN_ALIGN_TOP); } /** |