Resizable editors

This adds the ability to resize the editors by dragging on the middle gutter.

It also fixes an issue where the error transition causes the screen to flicker and sets the lines to wrap.