Jürgen Spitzmüller <[EMAIL PROTECTED]> writes: >> Regarding the change Settings->Properties: I think we should not >> do that without also changing Settings in the main menus. This is tuen >> means a lot of changes to the docs :) > > OK. Please revert it then.
Done. JMarc
