some tiny editor scripts i use