JED — text editor