This patch corrects a bug in the scrolled_window widget.
The new resource scrollbar_spacing which sets the width
between the viewport and a scrollbar is not initialized.


Patch is against version 0.99.1.


Patrice.