A working editor