Open source text editor for windows 10