Redirecting to
../../gtk/trait.WidgetExt.html
...