Redirecting to
../../gtk/trait.TextViewExt.html
...