style: make editor play a bit better with resizing