Yes, the plugin stores the menu configuration in the wp_options
table. However, the configuration data is not a flat array with predefined keys like what WordPress SEO uses, but a tree whose structure and keys can change depending on menu order, menu item URLs and so on. wpml-config.xml
does not appear to support dynamic keys.
It might be possible to use icl_register_string()
to translate the titles. I’ll need to look into this more.