Redirecting to
../../gtk/trait.HeaderBarExt.html
...