- From: Irene VATTON <Irene.Vatton@inrialpes.fr>
- Date: Wed, 14 Jun 2000 09:18:58 +0200
- To: Willie Dresler Leiva <wdl@icmc.sc.usp.br>
- cc: www-amaya-dev@w3.org
> How can I disable some menu options of Amaya? I tried to modify
> the EDITOR.A file, removing some lines, but it did not work.
>
> The reason for this is that Amaya will be called from another application,
> and this application should not allow the user to edit the file. He/she can
> not also open another document, unless the document is referenced in some
> link of the current document.
The easier is to change the Amaya profile with the menu:
Special/Preferences/Profiles
I guess the profile browser will solve your problem.
>
> Thanks one more time,
>
> Willie Dresler Leiva
> ---------------------------------------------
> PhD student in Computer Science
> Sao Carlos City, Sao Paulo State, Brazil
> Home-page --> http://www.icmc.sc.usp.br/~wdl/
>
--
Irene.
Received on Wednesday, 14 June 2000 03:19:03 UTC