Bug fixes to the editor and to div scrolling.