[devhelp] Window: use webkit_web_view_load_uri() to load equivalent local URI

[Sébastien Wilmet <swilmet src gnome org>]

commit fbd2f37d7a9013293f0e55c8d70cdecce12606a6
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon May 14 18:05:41 2018 +0200

    Window: use webkit_web_view_load_uri() to load equivalent local URI
    
    This will permit to move that code to DhWebView.
    
    In _dh_window_display_uri() there is also a call to
    dh_sidebar_select_uri(), but it is not needed because it's also called
    in web_view_load_changed_cb().

 src/dh-window.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index a704996..e3df739 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -1025,7 +1025,7 @@ web_view_decide_policy_cb (WebKitWebView            *web_view,
         local_uri = find_equivalent_local_uri (uri);
         if (local_uri != NULL) {
                 webkit_policy_decision_ignore (policy_decision);
-                _dh_window_display_uri (window, local_uri);
+                webkit_web_view_load_uri (web_view, local_uri);
                 g_free (local_uri);
                 return GDK_EVENT_STOP;
         }