summaryrefslogtreecommitdiff
path: root/src/ui/util.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/ui/util.c')
-rw-r--r--src/ui/util.c6
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
460iWidget *makeMenu_Widget(iWidget *parent, const iMenuItem *items, size_t n) { 461iWidget *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);