made codemirror resizable with jquery-ui