I know this isn’t exactly the fix you’re looking for, but you could try simply adjusting the default size of the editor in WordPress’s settings.
You can go to Settings –> Writing and change the value under “Size of the post box” to make it larger or smaller. I have mine set to 30 lines which is more than enough for a high resolution display.
