RE: How to disable editing commands?

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