diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-18 15:45:24 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-18 15:45:24 +0200 |
commit | b0158f4246125cd44d2eb212c1c1d29fdcc2b54c (patch) | |
tree | 9922beca9a19337dfb86cc14e9362745066b21cf /src/ui/util.c | |
parent | 316b3cdc61984f0a8afd2d9a96c563d034c86444 (diff) |
Draw soft popup menu border shadows
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 6 |
1 files changed, 5 insertions, 1 deletions
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) { | |||
395 | startsWith_CStr(cmd, "feeds.update.") || | 395 | startsWith_CStr(cmd, "feeds.update.") || |
396 | equal_Command(cmd, "bookmarks.request.started") || | 396 | equal_Command(cmd, "bookmarks.request.started") || |
397 | equal_Command(cmd, "bookmarks.request.finished") || | 397 | equal_Command(cmd, "bookmarks.request.finished") || |
398 | equal_Command(cmd, "bookmarks.changed") || | ||
398 | equal_Command(cmd, "document.autoreload") || | 399 | equal_Command(cmd, "document.autoreload") || |
399 | equal_Command(cmd, "document.reload") || | 400 | equal_Command(cmd, "document.reload") || |
400 | equal_Command(cmd, "document.request.started") || | 401 | equal_Command(cmd, "document.request.started") || |
@@ -459,10 +460,13 @@ static iWidget *makeMenuSeparator_(void) { | |||
459 | 460 | ||
460 | iWidget *makeMenu_Widget(iWidget *parent, const iMenuItem *items, size_t n) { | 461 | iWidget *makeMenu_Widget(iWidget *parent, const iMenuItem *items, size_t n) { |
461 | iWidget *menu = new_Widget(); | 462 | iWidget *menu = new_Widget(); |
462 | setBackgroundColor_Widget(menu, uiBackground_ColorId); | 463 | setBackgroundColor_Widget(menu, uiBackgroundMenu_ColorId); |
463 | if (deviceType_App() != desktop_AppDeviceType) { | 464 | if (deviceType_App() != desktop_AppDeviceType) { |
464 | setPadding1_Widget(menu, 2 * gap_UI); | 465 | setPadding1_Widget(menu, 2 * gap_UI); |
465 | } | 466 | } |
467 | else { | ||
468 | setPadding1_Widget(menu, gap_UI / 2); | ||
469 | } | ||
466 | const iBool isPortraitPhone = (deviceType_App() == phone_AppDeviceType && isPortrait_App()); | 470 | const iBool isPortraitPhone = (deviceType_App() == phone_AppDeviceType && isPortrait_App()); |
467 | int64_t itemFlags = (deviceType_App() != desktop_AppDeviceType ? 0 : 0) | | 471 | int64_t itemFlags = (deviceType_App() != desktop_AppDeviceType ? 0 : 0) | |
468 | (isPortraitPhone ? extraPadding_WidgetFlag : 0); | 472 | (isPortraitPhone ? extraPadding_WidgetFlag : 0); |