Improve scrolling behaviour of gWidgetsWWW2 notebook example