Text editor for windows 10 with line numbers