On Mon, 25 May 2009 18:51, nicholas.cole at gmail.com said: > PS. I don't suppose that an option like --use-consistent-menus (so > that changes of this type did not upset frontends) would find any > support? ;-) No. Shalom-Salam, Werner -- Die Gedanken sind frei. Auschnahme regelt ein Bundeschgesetz.