width-sensitive layout; height-sensitive resizing of console/editor