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:
parent
8c04337231
commit
1ebb7afe1d
|
@ -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];
|
||||
|
|
Loading…
Reference in New Issue