- From: Irene Vatton <Irene.Vatton@inrialpes.fr>
- Date: Tue, 20 Nov 2001 08:38:00 +0100
- To: Coralie Mercier <coralie@w3.org>
- Cc: danield@w3.org, w3t-sophia@w3.org, www-amaya@w3.org
> Hi > > I thought I had the same problem but I checked with the Amaya new version > I'm using (5.1 for windows) and it works: > > Open the source window, > Resize it to your will, > Go in the main window, Special menu and save the current geometry. > > Close the source window or exit amaya and start it again, the source window > has now the customized size. True, the command "Save current geometry" (see Special/Preferences/Window geometry) saves the geometry of all open views for the current document. This command is only available in the main view of the document but it works on all views. > What is not 'customable' is the size of the font in the source window. I > always have to 'alt' + '-' several times in order to have a workable source > window. You can customize the default font size in Special/General/General by changing the value of "Font zoom". > This applies for the Amaya running on windows only. The amaya I use on unix > has a suitable font size in the source window (and I just checked the > 'Special menu\save geometry' in the main window works as well for source > window). > > Shall I send a mail to amaya-dev or whichever list it is? This answer is sent to www-amaya@w3.org. Thanks Coralie. --- Irene > > Coralie > > > Daniel Dardailler a écrit : > > > > [continuing a private thread with Irene] > > > > Using amaya 5.1 on linux, the Special menu of the view source window > > is always inactive (so I cannot save the current geometry of this > > window). > > > > I know at least Max has the same problem. > > Anybody else ? > > -- > Coralie Mercier, Team Assistant mailto:coralie@w3.org > World Wide Web Consortium http://www.w3.org > W3C / INRIA - 2004 route des lucioles - 06560 Sophia Antipolis - FR > Voice:+33(0)492 387 590 Fax:+33(0)492 387 822 http://www.koalie.net >
Received on Tuesday, 20 November 2001 02:41:51 UTC