diff options
author | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2018-06-13 12:40:32 +0300 |
---|---|---|
committer | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2018-06-13 12:43:10 +0300 |
commit | 0bce173bc7e9bb6d6cac099d16a8b0f4471d3f63 (patch) | |
tree | 5219725a03b9baac1e4e2b40464c13c9a6f14e6f /source/blender/editors/interface/interface.c | |
parent | dcf70dc1819caf08d2cedfadd568364cdf556eb8 (diff) |
UI: remove empty space at the end of headers, tweak start/end spacing.
Diffstat (limited to 'source/blender/editors/interface/interface.c')
-rw-r--r-- | source/blender/editors/interface/interface.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/blender/editors/interface/interface.c b/source/blender/editors/interface/interface.c index 811bd4457d8..d321cbbb89e 100644 --- a/source/blender/editors/interface/interface.c +++ b/source/blender/editors/interface/interface.c @@ -243,7 +243,7 @@ static void ui_update_flexible_spacing(const ARegion *region, uiBlock *block) rcti rect; ui_but_to_pixelrect(&rect, region, block, block->buttons.last); - const float buttons_width = (float)rect.xmax + UI_HEADER_OFFSET_START; + const float buttons_width = (float)rect.xmax + 2 * UI_HEADER_OFFSET; const float region_width = (float)region->sizex * U.dpi_fac; if (region_width <= buttons_width) { |