Thanks @ WP-Junkie, I tried that but no luck. Once I upgraded WP to 3.5.1 everything was OK so upgrading is the solution!
Cheers
John
Same issue here – the editor is way too long and whichever way I try to adjust it and save (both Text + Visual) it reverts back to the enlarged box – does anyone have any answer yet?
Cheers
John
