> I probably need the editoroptions.xml file instead... > Is *that* file useful? I see it contains a lot less version dependent paths but > also a lot less settings... Version dependant? Perhaps you mean installation dependant?