Implement bypassing cache when reloading with Shift
This commit is contained in:
parent
40f36328c2
commit
7708e90214
2 changed files with 8 additions and 1 deletions
|
@ -73,6 +73,10 @@ webkit_web_view_zoom_out (WebKitWebView* web_view);
|
|||
|
||||
#endif
|
||||
|
||||
#if !WEBKIT_CHECK_VERSION (1, 1, 1)
|
||||
#define webkit_web_view_reload_bypass_cache webkit_web_view_reload
|
||||
#endif
|
||||
|
||||
G_END_DECLS
|
||||
|
||||
#endif /* __COMPAT_H__ */
|
||||
|
|
|
@ -2347,7 +2347,10 @@ midori_view_reload (MidoriView* view,
|
|||
{
|
||||
g_return_if_fail (MIDORI_IS_VIEW (view));
|
||||
|
||||
webkit_web_view_reload (WEBKIT_WEB_VIEW (view->web_view));
|
||||
if (from_cache)
|
||||
webkit_web_view_reload (WEBKIT_WEB_VIEW (view->web_view));
|
||||
else
|
||||
webkit_web_view_reload_bypass_cache (WEBKIT_WEB_VIEW (view->web_view));
|
||||
}
|
||||
|
||||
/**
|
||||
|
|
Loading…
Reference in a new issue