The editor pane is now contained in a scroll pane, allowing large JSON document to be edited.