From 677f23001de874c4befa79cb784819b2a70b3720 Mon Sep 17 00:00:00 2001
From: Adrian Cochrane <alcinnz@eml.cc>
Date: Mon, 31 Jul 2017 22:06:26 +1200
Subject: [PATCH] FIX: Refreshing the UI interferred with address entry.

By refreshing UI I mean synching WebKit state to the toolbar.
---
 src/BrowserWindow.vala | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/BrowserWindow.vala b/src/BrowserWindow.vala
index 090d224..2e2a91a 100644
--- a/src/BrowserWindow.vala
+++ b/src/BrowserWindow.vala
@@ -45,7 +45,7 @@ public class Odysseus.BrowserWindow : Gtk.ApplicationWindow {
         // Even if the event handlers don't keep us up-to-date successfully.
         Timeout.add_seconds(1, () => {
             disconnect_webview();
-            connect_webview((Odysseus.WebTab) tabs.current);
+            connect_webview((Odysseus.WebTab) tabs.current, false);
             return true;
         }, Priority.DEFAULT_IDLE);
     }
@@ -321,7 +321,7 @@ public class Odysseus.BrowserWindow : Gtk.ApplicationWindow {
         });
     }
 
-    private void connect_webview(WebTab tab) {
+    private void connect_webview(WebTab tab, bool full=true) {
         var hs = web_event_handlers;
 
         hs.add(web.load_changed.connect ((load_event) => {
@@ -362,7 +362,7 @@ public class Odysseus.BrowserWindow : Gtk.ApplicationWindow {
         reload_stop.set_visible_child(web.is_loading ? stop : reload);
         addressbar.progress_fraction = web.estimated_load_progress == 1.0 ?
                 0.0 : web.estimated_load_progress;
-        addressbar.text = web.uri;
+        if (full) addressbar.text = web.uri;
         this.title = web.title;
         if (web.get_favicon() != null) {
             var fav = surface_to_pixbuf(web.get_favicon());