Widget additions to fix a scrolling problem on firefox