Comment 3 for bug 1014387

Revision history for this message
Julien Spautz (julien-spautz) wrote :

I don't think this is fixed. Grepping through granite searching for '\bBox\b' gives me this:

Box content_area = (Box)get_content_area();
        Box action_area = (Box)get_action_area();
        var content_hbox = new Box(Orientation.HORIZONTAL, 12);
        var content_right_box = new Box(Orientation.VERTICAL, 0);
        var content_scrolled_vbox = new Box(Orientation.VERTICAL, 0);
        var title_vbox = new Box(Orientation.VERTICAL, 0);
        var logo_vbox = new Box(Orientation.VERTICAL, 0);
        logo_vbox.pack_end(new Box(Orientation.VERTICAL, 0), true, true, 0);
        content_hbox.pack_start(new Box(Orientation.VERTICAL, 0), false, false, 0);
        content_hbox.pack_end(new Box(Orientation.VERTICAL, 0), false, false, 0);
        content_right_box.pack_end(new Box(Orientation.VERTICAL, 0), false, false, 6);
     * Box for action items
    protected Gtk.Box options;
        Gtk.Box content = new Gtk.Box (Gtk.Orientation.VERTICAL, 0);
        // Box properties
        content.pack_start (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0);
        this.options = new Gtk.Box (Gtk.Orientation.VERTICAL, 8);
        var options_wrapper = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0);
        options_wrapper.pack_start (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0); // left padding
        options_wrapper.pack_end (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0); // right padding
        content.pack_end (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0);
        var button_contents = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 7);
        var text_wrapper = new Gtk.Box (Gtk.Orientation.VERTICAL, 3);
        text_wrapper.pack_start (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0);
        text_wrapper.pack_end (new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0), true, true, 0);
    public class StaticNotebook : Gtk.Box {
        private Gtk.Box switcher_box;
            switcher_box = new Gtk.Box(Gtk.Orientation.HORIZONTAL, 0);
    private Gtk.Box left_box;
    private Gtk.Box right_box;
        left_box = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0);
        right_box = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 0);
            Box action_area = (Box) get_action_area ();
    Gtk.Box hbox;
    Gtk.Box abox;
        hbox = get_content_area() as Gtk.Box;
        abox = get_action_area() as Gtk.Box;
    public class ModeButton : Gtk.Box {
    public class Tab : Gtk.Box {
    public class Tab : Gtk.Box {
        protected Gtk.Box box { get; private set; }
            this.box = new Gtk.Box (Gtk.Orientation.VERTICAL, 0);
            ((Gtk.Box)popover.get_content_area()).add(dropdown);