Redirecting to
../../gtk/trait.BoxExt.html
...