diff options
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); |