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