Fix bug that allowed ace editor to be resized vertically.