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 /release | |
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 'release')
-rw-r--r-- | release/scripts/startup/bl_ui/space_userpref.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/release/scripts/startup/bl_ui/space_userpref.py b/release/scripts/startup/bl_ui/space_userpref.py index 76bb14b4b73..dbe3f86dc1a 100644 --- a/release/scripts/startup/bl_ui/space_userpref.py +++ b/release/scripts/startup/bl_ui/space_userpref.py @@ -194,6 +194,11 @@ class USERPREF_PT_interface(Panel): sub.prop(view, "pie_menu_confirm") col.separator() + col.label(text="Header:") + sub = col.split() + sub.label(text="Default Position") + sub.row().prop(view, "header_align_default", expand=True) + col.prop(view, "show_splash") col.label(text="Warnings:") |