UI: Popover Position Change

Move popover down a very slight amount to fix clipping of its arrow tip.

Differential Revision: https://developer.blender.org/D9030

Reviewed by Julian Eisel
This commit is contained in:
Yevgeny Makarov 2020-10-28 08:52:32 -07:00 committed by Harley Acheson
parent 8c04337231
commit 1ebb7afe1d
1 changed files with 3 additions and 2 deletions

View File

@ -995,8 +995,9 @@ void ui_draw_preview_item(
#define UI_TEXT_MARGIN_X 0.4f
#define UI_POPUP_MARGIN (UI_DPI_FAC * 12)
/* margin at top of screen for popups */
#define UI_POPUP_MENU_TOP (int)(8 * UI_DPI_FAC)
/* Margin at top of screen for popups. Note this value must be sufficient
to draw a popover arrow to avoid cropping it. */
#define UI_POPUP_MENU_TOP (int)(10 * UI_DPI_FAC)
#define UI_PIXEL_AA_JITTER 8
extern const float ui_pixel_jitter[UI_PIXEL_AA_JITTER][2];