added jquery ui resizable for codemirror editors