204
204
/* create some nice padding */
205
205
this.box.set_spacing (2);
206
206
this.box.set_border_width (2);
208
208
/* create and pack tree view */
209
209
scrolled = new Gtk.ScrolledWindow (null, null);
210
210
scrolled.set_policy (Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC);