The fields for editing SQL code are ridiculously small, especially in the vertical direction. Most people doing development work use a large monitor, so the size of this area should be generous by default. Alternatively, it should be responsive or...