* src/AddMedia.py: use new find_mime_type_pixbuf instead of
find_icon * src/ImageSelect.py: remove internal media widgets, use new find_mime_type_pixbuf instead of find_icon * src/ImgManip.py: catch pixbuf_new_from_file exception * src/MediaView.py: use new find_mime_type_pixbuf instead of find_icon * src/SelectObject.py: use new find_mime_type_pixbuf instead of find_icon * various: replace the deprecated gtk.TRUE/gtk.FALSE with True/False svn: r4085
This commit is contained in:
@ -96,10 +96,10 @@ class Bookmarks :
|
||||
title = "%s - GRAMPS" % _("Edit Bookmarks")
|
||||
self.top = gtk.Dialog(title)
|
||||
self.top.set_default_size(400,350)
|
||||
self.top.set_has_separator(gtk.FALSE)
|
||||
self.top.set_has_separator(False)
|
||||
self.top.vbox.set_spacing(5)
|
||||
label = gtk.Label('<span size="larger" weight="bold">%s</span>' % _("Edit Bookmarks"))
|
||||
label.set_use_markup(gtk.TRUE)
|
||||
label.set_use_markup(True)
|
||||
self.top.vbox.pack_start(label,0,0,5)
|
||||
box = gtk.HBox()
|
||||
self.top.vbox.pack_start(box,1,1,5)
|
||||
|
Reference in New Issue
Block a user