Redirecting to
../../gtk/trait.ButtonExt.html
...