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

RE: How to disable editing commands?

From: Ly, An <An.Ly@ca.com>
Date: Tue, 13 Jun 2000 16:17:48 -0400
Message-ID: <27B34B6046FFD311BD880050046DFAD40145F71F@usilms01.cai.com>
To: www-amaya-dev@w3.org
Did you recompile those using the app compiler, then rebuild the workspace?

> -----Original Message-----
> From: Willie Dresler Leiva [mailto:wdl@icmc.sc.usp.br]
> Sent: Tuesday, June 13, 2000 10:52 AM
> To: www-amaya-dev@w3.org
> Subject: How to disable editing commands?
> 
> 
> 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.
> 
> 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/
> 
Received on Tuesday, 13 June 2000 16:18:42 UTC

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