356
356
self.entry_history_revno = gtk.Entry()
357
357
self.entry_history_revno.set_property("width-request", 75)
358
358
self.entry_history_revno.set_sensitive(False)
360
360
self.locationbar.pack_start(self.entry_history_revno, False, False, 0)
362
362
self.button_history_browse = gtk.Button()