diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-21 19:04:38 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-21 19:04:38 +0200 |
commit | d81caf1798335a8e6a4608cf750f1b5f2eddd5a6 (patch) | |
tree | e95635fdd4fbdc4099bb2e9af9d7ed298cea15e0 /src/ui/util.c | |
parent | a6314e152b2d2f306bcbb880356d3890efbfc89e (diff) |
Fixed popups being dismissed by media updates
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index c1312062..258da04a 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -367,8 +367,8 @@ iWidget *addAction_Widget(iWidget *parent, int key, int kmods, const char *comma | |||
367 | /*-----------------------------------------------------------------------------------------------*/ | 367 | /*-----------------------------------------------------------------------------------------------*/ |
368 | 368 | ||
369 | static iBool isCommandIgnoredByMenus_(const char *cmd) { | 369 | static iBool isCommandIgnoredByMenus_(const char *cmd) { |
370 | return equal_Command(cmd, "media.updated") || equal_Command(cmd, "document.request.updated") || | 370 | return equal_Command(cmd, "media.updated") || equal_Command(cmd, "media.player.update") || |
371 | equal_Command(cmd, "window.resized") || | 371 | equal_Command(cmd, "document.request.updated") || equal_Command(cmd, "window.resized") || |
372 | (equal_Command(cmd, "mouse.clicked") && !arg_Command(cmd)); /* button released */ | 372 | (equal_Command(cmd, "mouse.clicked") && !arg_Command(cmd)); /* button released */ |
373 | } | 373 | } |
374 | 374 | ||
@@ -876,8 +876,8 @@ void updateValueInput_Widget(iWidget *d, const char *title, const char *prompt) | |||
876 | 876 | ||
877 | static iBool messageHandler_(iWidget *msg, const char *cmd) { | 877 | static iBool messageHandler_(iWidget *msg, const char *cmd) { |
878 | /* Almost any command dismisses the sheet. */ | 878 | /* Almost any command dismisses the sheet. */ |
879 | if (!(equal_Command(cmd, "media.updated") || equal_Command(cmd, "document.request.updated") || | 879 | if (!(equal_Command(cmd, "media.updated") || equal_Command(cmd, "media.player.update") || |
880 | startsWith_CStr(cmd, "window."))) { | 880 | equal_Command(cmd, "document.request.updated") || startsWith_CStr(cmd, "window."))) { |
881 | destroy_Widget(msg); | 881 | destroy_Widget(msg); |
882 | } | 882 | } |
883 | return iFalse; | 883 | return iFalse; |