formatting nits in editor_area.dart