def get_body(self):
status_body = GStatus.get_body(self)
#vbox = gtk.VBox() # For named shelf collection
#self.vpaned = gtk.VPaned()
#self.vpaned.add1(vbox)
#self.vpaned.add2(status_body)
#self.vpaned.set_position(self._setting_vpos)
self.activate_shelve_buttons(True)
self.patch_text = gtk.TextView()
self.patch_text.set_wrap_mode(gtk.WRAP_NONE)
self.patch_text.set_editable(False)
self.patch_text.modify_font(self.difffont)
scroller = gtk.ScrolledWindow()
scroller.set_policy(gtk.POLICY_AUTOMATIC,
gtk.POLICY_AUTOMATIC)
scroller.add(self.patch_text)
self.diff_notebook.append_page(scroller, gtk.Label(_('Shelf Contents')))
self.diff_notebook.show_all()
return status_body
