Fixed: WP editor window 4.0 doesn't scroll