diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-19 10:26:23 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-19 10:26:23 +0200 |
commit | 3bde9d383a107760ee56ebc7f780154bfd3f3de7 (patch) | |
tree | 4703b0625c68a30be76251c5349659f3c9d14a21 /src/ui/util.c | |
parent | 6e54b0b5449e607417b2bd5b68ac4292277bad4b (diff) |
Remote bookmark sources
Bookmarks tagged "remotesource" are fetched and all links are treated as remote bookmarks.
Remote bookmarks are not saved locally.
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index 9bd40e80..1118758b 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -376,7 +376,9 @@ iWidget *addAction_Widget(iWidget *parent, int key, int kmods, const char *comma | |||
376 | static iBool isCommandIgnoredByMenus_(const char *cmd) { | 376 | static iBool isCommandIgnoredByMenus_(const char *cmd) { |
377 | return equal_Command(cmd, "media.updated") || equal_Command(cmd, "media.player.update") || | 377 | return equal_Command(cmd, "media.updated") || equal_Command(cmd, "media.player.update") || |
378 | startsWith_CStr(cmd, "feeds.update.") || | 378 | startsWith_CStr(cmd, "feeds.update.") || |
379 | equal_Command(cmd, "document.request.updated") || equal_Command(cmd, "window.resized") || | 379 | equal_Command(cmd, "document.request.updated") || |
380 | equal_Command(cmd, "bookmarks.request.finished") || | ||
381 | equal_Command(cmd, "window.resized") || | ||
380 | equal_Command(cmd, "window.reload.update") || | 382 | equal_Command(cmd, "window.reload.update") || |
381 | (equal_Command(cmd, "mouse.clicked") && !arg_Command(cmd)); /* button released */ | 383 | (equal_Command(cmd, "mouse.clicked") && !arg_Command(cmd)); /* button released */ |
382 | } | 384 | } |
@@ -893,7 +895,9 @@ void updateValueInput_Widget(iWidget *d, const char *title, const char *prompt) | |||
893 | 895 | ||
894 | static iBool messageHandler_(iWidget *msg, const char *cmd) { | 896 | static iBool messageHandler_(iWidget *msg, const char *cmd) { |
895 | /* Almost any command dismisses the sheet. */ | 897 | /* Almost any command dismisses the sheet. */ |
896 | if (!(equal_Command(cmd, "media.updated") || equal_Command(cmd, "media.player.update") || | 898 | if (!(equal_Command(cmd, "media.updated") || |
899 | equal_Command(cmd, "media.player.update") || | ||
900 | equal_Command(cmd, "bookmarks.request.finished") || | ||
897 | equal_Command(cmd, "document.request.updated") || startsWith_CStr(cmd, "window."))) { | 901 | equal_Command(cmd, "document.request.updated") || startsWith_CStr(cmd, "window."))) { |
898 | destroy_Widget(msg); | 902 | destroy_Widget(msg); |
899 | } | 903 | } |