diff options
| -rw-r--r-- | embed/ephy-base-embed.c | 1 | ||||
| -rw-r--r-- | src/window-commands.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/embed/ephy-base-embed.c b/embed/ephy-base-embed.c index ec4412857..68bae0683 100644 --- a/embed/ephy-base-embed.c +++ b/embed/ephy-base-embed.c @@ -1308,6 +1308,7 @@ ephy_base_embed_file_monitor_reload_cb (EphyBaseEmbed *embed) LOG ("Reloading file '%s'", ephy_embed_get_address (EPHY_EMBED (embed))); /* FIXME: no way to bypass cache when reloading with WebKit right now. * Old code did it here. + * WebKit bug: https://bugs.webkit.org/show_bug.cgi?id=19815 */ webkit_web_view_reload (EPHY_GET_WEBKIT_WEB_VIEW_FROM_EMBED (embed)); diff --git a/src/window-commands.c b/src/window-commands.c index 1609ed0b8..7e25f1408 100644 --- a/src/window-commands.c +++ b/src/window-commands.c @@ -215,6 +215,7 @@ window_cmd_view_reload (GtkAction *action, /* FIXME: no way to bypass cache when reloading * with WebKit right now. Old code did: * ephy_embed_reload (embed, event_with_shift ()); + * WebKit bug: https://bugs.webkit.org/show_bug.cgi?id=19815 */ webkit_web_view_reload (EPHY_GET_WEBKIT_WEB_VIEW_FROM_EMBED (embed)); } |