move code to Pane.js; fix editor height