-- the editor widget thinks the screen is small and can scroll overly much

    -- the editor updates screen_top1, then we update viewport based on screen_top1, and it goes from somewhere lower down to all the way at top of screen