A tree based document editor