[gnome-maps/wip/mlundblad/gnm-update-on-connectivity] application: Update netork connectivity

[Marcus Lundblad <mlundblad src gnome org>]

commit 9a247d7d0a821b406ac2bbb7b583eb8daaefe19f
Author: Marcus Lundblad <ml update uu se>
Date:   Sun May 19 22:31:51 2019 +0200

    application: Update netork connectivity
    
    Also update network connectivity when the
    "connectivity" property changes on the
    network monitor, not only when changing
    networks.

 src/application.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/application.js b/src/application.js
index 9cba29c..71c9611 100644
--- a/src/application.js
+++ b/src/application.js
@@ -234,6 +234,8 @@ var Application = GObject.registerClass({
         networkMonitor   = Gio.NetworkMonitor.get_default();
         networkMonitor.connect('network-changed',
                                this._checkNetwork.bind(this));
+        networkMonitor.connect('notify::connectivity',
+                               this._checkNetwork.bind(this));
         checkInManager = new CheckIn.CheckInManager();
         contactStore = new Maps.ContactStore();
         contactStore.load();