* plugins/tools/editor.c: