This patch replace a define in the scrolled_window code with a
resource. The width between the viewport and a scrollbar is
currently a define. It sounds more logical (and maybe cleaner)
to use a real resource so people can query it and even change
its value.
