title: pygtk TextView and WebKit.WebView synchronized scrolling
body: <p>I've got a text view and a web view, each inside a scrolled window of their own and I'm trying to achieve synchronized scrolling between the two but I can't seem to get it to work.</p>
  
  <p>The web view is basically taking the text from the text view and rendering it as marked up HTML via <code>webview.load_html_string()</code>. I think the problem could be the delay in loading the HTML as every time the web view is refreshed it is scrolled back to the very start.</p>
  
  <p>Right now I call a function every time the content of the text view is changed and then modify the <code>vadjustment.value</code> of the scrolled window containing the web view.</p>
  
  <p>But this doesn't work. Is it because of the delay? I can't think of any way to solve this issue.</p>