SYNOPSIS
void edit_text( string *buf, closure callback, arg1, arg2 ... )
FILE
/std/player/edit.h
DESCRIPTION
Start editing a text buffer. If buf is null, it will start with an empty
buffer. After editing has finished, callback will be called:
void callback( string *buffer, status escaped, arg1, arg2, ...)
If escaped is set, the user cancelled editing.