Can't find it with the program manager. Is there an editor planned? Maybe a port of texmaker would be great...