- hbox.pack_start (lpv, false, false, 0);
-
- var label = new Gtk.Label (pattern.name.has_prefix ("Pattern") ?
- pattern.name.offset (7) : pattern.name);
- label.set_alignment (0.0f, 0.5f);
- hbox.pack_start (label, true, true, 0);
-
- button.add (hbox);