From b0158f4246125cd44d2eb212c1c1d29fdcc2b54c Mon Sep 17 00:00:00 2001 From: Jaakko Keränen Date: Thu, 18 Mar 2021 15:45:24 +0200 Subject: Draw soft popup menu border shadows --- src/ui/util.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/ui/util.c') diff --git a/src/ui/util.c b/src/ui/util.c index 13d1bf78..8fbe5d41 100644 --- a/src/ui/util.c +++ b/src/ui/util.c @@ -395,6 +395,7 @@ static iBool isCommandIgnoredByMenus_(const char *cmd) { startsWith_CStr(cmd, "feeds.update.") || equal_Command(cmd, "bookmarks.request.started") || equal_Command(cmd, "bookmarks.request.finished") || + equal_Command(cmd, "bookmarks.changed") || equal_Command(cmd, "document.autoreload") || equal_Command(cmd, "document.reload") || equal_Command(cmd, "document.request.started") || @@ -459,10 +460,13 @@ static iWidget *makeMenuSeparator_(void) { iWidget *makeMenu_Widget(iWidget *parent, const iMenuItem *items, size_t n) { iWidget *menu = new_Widget(); - setBackgroundColor_Widget(menu, uiBackground_ColorId); + setBackgroundColor_Widget(menu, uiBackgroundMenu_ColorId); if (deviceType_App() != desktop_AppDeviceType) { setPadding1_Widget(menu, 2 * gap_UI); } + else { + setPadding1_Widget(menu, gap_UI / 2); + } const iBool isPortraitPhone = (deviceType_App() == phone_AppDeviceType && isPortrait_App()); int64_t itemFlags = (deviceType_App() != desktop_AppDeviceType ? 0 : 0) | (isPortraitPhone ? extraPadding_WidgetFlag : 0); -- cgit v1.2.3