<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">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. 

The patch is against gtk+-0.99.0 version.

Patrice.
</pre></body></html>