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);
I don't think this is fixed. Grepping through granite searching for '\bBox\b' gives me this:
Box content_area = (Box)get_ content_ area(); action_ area(); .HORIZONTAL, 12); .VERTICAL, 0); scrolled_ vbox = new Box(Orientation .VERTICAL, 0); .VERTICAL, 0); .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); n.VERTICAL, 0);
content. pack_start (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0);
this.options = new Gtk.Box (Gtk.Orientatio n.VERTICAL, 8); n.HORIZONTAL, 0);
options_ wrapper. pack_start (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0); // left padding
options_ wrapper. pack_end (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0); // right padding
content. pack_end (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0); n.HORIZONTAL, 7); n.VERTICAL, 3);
text_wrapper. pack_start (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0);
text_wrapper. pack_end (new Gtk.Box (Gtk.Orientatio n.HORIZONTAL, 0), true, true, 0);
switcher_ box = new Gtk.Box( Gtk.Orientation .HORIZONTAL, 0); n.HORIZONTAL, 0); n.HORIZONTAL, 0);
this. box = new Gtk.Box (Gtk.Orientatio n.VERTICAL, 0);
(( Gtk.Box) popover. get_content_ area()) .add(dropdown) ;
Box action_area = (Box)get_
var content_hbox = new Box(Orientation
var content_right_box = new Box(Orientation
var content_
var title_vbox = new Box(Orientation
var logo_vbox = new Box(Orientation
* Box for action items
protected Gtk.Box options;
Gtk.Box content = new Gtk.Box (Gtk.Orientatio
// Box properties
var options_wrapper = new Gtk.Box (Gtk.Orientatio
var button_contents = new Gtk.Box (Gtk.Orientatio
var text_wrapper = new Gtk.Box (Gtk.Orientatio
public class StaticNotebook : Gtk.Box {
private Gtk.Box switcher_box;
private Gtk.Box left_box;
private Gtk.Box right_box;
left_box = new Gtk.Box (Gtk.Orientatio
right_box = new Gtk.Box (Gtk.Orientatio
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; }