editors/editor_int library