W3C home > Mailing lists > Public > www-amaya@w3.org > January to March 1999

Re: Amaya 1.4 is a useful tool

From: Corne Beerse <beerse@ats.nld.alcatel.nl>
Date: Tue, 19 Jan 1999 12:23:07 +0100
Message-ID: <36A46B1B.CDC1F7D7@ats.nld.alcatel.nl>
To: Irene.Vatton@inrialpes.fr
CC: www-amaya@w3.org
Irene.Vatton@inrialpes.fr wrote:
> In-reply-to: Your message of Fri, 15 Jan 1999 09:12:56 +0100."
>              <000d01be405e$db649c60$6564a8c0@cc1.derago.com>
> > Amaya 1.4 is a useful tool.
> >
> > I like the structure editor a lot and there are many other features like the
> > math editor which are very innovative.
> >
> > For my normal work I mainly miss a HTML-Source editor. Just a button or menu
> > which opens a text-editor like notepad (Windows) or emacs would be all I
> > need.
> We're thinking about it, but there is no precise plan to do it yet.

For functionallity available with general tools which is usefull for amaya,
I'd like to see some 'hooks' to have amaya start my favorite tool:

For editing source, amaya should switch to readonly mode and start the
ascii-editor which is configured in the thodrc file: "ascii_editor=nedit
%d/%f". Once this editor is closed, amaya should re-read the file. As far as
I can see, netscape has a similar approach.

For handling url's which amaya cannot handle, like "mailto:" amaya should be
capable on invoking other applications, configurable in the thodrc file:
"mailto_app=dtmail %u".

Details on invocation of those applications, they accept the next options:
"%f"	Filename (without directory: index.html in an url)
"%d"	Directory (the /Amaya in an url
"%%"	% character
"%h"	Hostname or domainname (the www.w3.org in an url)
"%p"	Protocol (the http in an url)
"%u"	entire url (http://www.w3.org/Amaya/index.html)
And others I don't think of at this moment.



When I became a man, I put away childish things, including my fear of
childishness, and the desire to be very grown up. - C. S. Lewis
Corne' Beerse					| Alcatel Telecom Nederland
mailto:beerse@ats.nld.alcatel.nl		| Postbus 3292
talkto:+31(70)3079108 faxto:+31(70)3079191	| NL-2280 GG  Rijswijk
Received on Tuesday, 19 January 1999 06:23:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:27 UTC