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