Minor work on the gtk example.

docs/examples/lib/gui-gtk.py

@@ -17,11 +17,19 b' import gtk'
 def hello_world(wigdet, data=None):
     print "Hello World"
 
+def delete_event(widget, event, data=None):
+    return False
+
+def destroy(widget, data=None):
+    gtk.main_quit()
+
 window = gtk.Window(gtk.WINDOW_TOPLEVEL)
+self.window.connect("delete_event", delete_event)
+self.window.connect("destroy", destroy)
 button = gtk.Button("Hello World")
 button.connect("clicked", hello_world, None)
 
-window.add(self.button)
+window.add(button)
 button.show()
 window.show()