Text editor for coding download html