Redirecting to
../../gtk/trait.SpinButtonExt.html
...