W3C home > Mailing lists > Public > www-amaya-dev@w3.org > June 2000

Re: How to disable editing commands?

From: Irene VATTON <Irene.Vatton@inrialpes.fr>
Date: Wed, 14 Jun 2000 09:18:58 +0200
Message-Id: <200006140718.JAA02377@tahiti.inrialpes.fr>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:04 UTC