editor/editor_options library