but there are lots of editors like that