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