300
300
super(DiffWidget, self).__init__()
302
302
# The file hierarchy: a scrollable treeview
303
308
scrollwin = gtk.ScrolledWindow()
304
309
scrollwin.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC)
305
310
scrollwin.set_shadow_type(gtk.SHADOW_IN)
312
vbox.pack_start(scrollwin, True, True, 0)
313
vbox.pack_end(self.checkbox_wraplines, False, False, 5)
309
316
self.model = gtk.TreeStore(str, str)
310
317
self.treeview = gtk.TreeView(self.model)
311
318
self.treeview.set_headers_visible(False)