Redirecting to
../../gtk/trait.ProgressBarExt.html
...