De echo el tamaño del editor se manipula desde esa parte, donde esta el textarea, puedes poner cols y rows, ahi se disminuye o se amplia el tamaño, pero debes no tener editado el archivo editor.js, porque ese manda todo xD.
Lo que tu mencionas es basado en otra parte del código que es tomado automáticamente desde el archivo que te menciono, pero es en base a lo estipulado en tus plantillas, mediante el uso de estilizaciones en tus cajas, si puedes ver en mi sitio yo acomode el editor en todas partes, incluyendo respuesta rapida y profilecomments para que se mire al menos decente xd.
Pero si es donde te dijo desde un comienzo Infraworld por defecto.