Fixes an issue with the editor size under iOS 7.