Redirecting to
../../gtk/trait.GtkSocketExt.html
...