502
502
Gtk.Box zoom_group = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0);
512
zoom_group.pack_start (zoom_original_box, false, false, 5);
504
514
Gtk.Image zoom_out = new Gtk.Image.from_icon_name (Resources.ICON_ZOOM_OUT, Gtk.IconSize.MENU);
505
515
Gtk.EventBox zoom_out_box = new Gtk.EventBox ();
506
516
zoom_out_box.set_above_child (true);