diff options
author | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2019-01-17 16:31:18 +0300 |
---|---|---|
committer | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2019-01-17 17:04:38 +0300 |
commit | 1a3abc7f79aa8f4550addfb5925fc8c3786b4753 (patch) | |
tree | 9caacfa6f6becd5b3a225f056779f4a41e78b0e3 /source/blender/editors/include | |
parent | be079e742dcdc54f1e84ac2c23dda0490b8eea17 (diff) |
Preferences: fit a little better when opened in place of properties editor.
Diffstat (limited to 'source/blender/editors/include')
-rw-r--r-- | source/blender/editors/include/UI_interface.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/blender/editors/include/UI_interface.h b/source/blender/editors/include/UI_interface.h index 1454b0c1690..1db42ec0a53 100644 --- a/source/blender/editors/include/UI_interface.h +++ b/source/blender/editors/include/UI_interface.h @@ -226,6 +226,7 @@ enum { #define UI_PANEL_WIDTH 340 #define UI_COMPACT_PANEL_WIDTH 160 #define UI_NAVIGATION_REGION_WIDTH UI_COMPACT_PANEL_WIDTH +#define UI_NARROW_NAVIGATION_REGION_WIDTH 100 #define UI_PANEL_CATEGORY_MARGIN_WIDTH (U.widget_unit * 1.0f) |