Bookmark orgnizer should close on delete-event request

svn: r11869
This commit is contained in:
Benny Malengier 2009-02-05 13:00:12 +00:00
parent 9f3999f7ad
commit 751556945f

View File

@ -231,12 +231,17 @@ class Bookmarks :
delete.connect('clicked', self.delete_clicked)
self.top.add_button(gtk.STOCK_CLOSE, gtk.RESPONSE_CLOSE)
self.top.add_button(gtk.STOCK_HELP, gtk.RESPONSE_HELP)
self.top.connect('delete-event', self.close)
bbox.add(up)
bbox.add(down)
bbox.add(delete)
box.pack_start(bbox, 0, 0, 5)
self.top.show_all()
def close(self, widget, event):
"""Stop the bookmark organizer"""
self.top.response(gtk.RESPONSE_CLOSE)
def edit(self):
"""
Display the bookmark editor.