A mouse-line editor