[gjs: 3/4] examples: fix a bug in webkit.js

[Philip Chimento <pchimento src gnome org>]

commit 67fe041a878d03aac5dbd657f3a009bfe27f0fc9
Author: Claudio André <claudioandre br gmail com>
Date:   Wed Jul 18 15:36:42 2018 -0300

    examples: fix a bug in webkit.js
    
    It was missing needed instructions.

 examples/webkit.js | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/examples/webkit.js b/examples/webkit.js
index 04e61d7f..1d932cfc 100644
--- a/examples/webkit.js
+++ b/examples/webkit.js
@@ -11,6 +11,10 @@ let view = new WebKit.WebView();
 view.load_uri("http://www.google.com/";);
 win.add(view);
 
+win.connect('destroy', () => {
+    Gtk.main_quit();
+});
+
 win.set_size_request(640, 480);
 win.show_all();