content.pack_start (pannable, true, true, 0);
content.show_all ();
- var button_help = new Gtk.Button.with_label ("Help");
+ var button_help = new Gtk.Button.with_label (_("Help"));
Hildon.gtk_widget_set_theme_size (button_help, Hildon.SizeType.FINGER_HEIGHT);
var label = new Gtk.Label (_("Restore original\npatterns"));