In article <20041103095457.3f5efd30.irene.vatton@inrialpes.fr>, Irene Vatton <irene.vatton@inrialpes.fr> wrote: > In the last 8.7 version configuration files font sizes are expressed in > pixels instead of points. > I guess your problem will be fixed by installing attached configuration files > into the Amaya/config/ directory or into your private Amaya space $HOME/.amaya Many thanks - that fixed it! Keith -- City Desk Waikato University [PGP key available if desired]Received on Wednesday, 3 November 2004 20:49:42 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:46 UTC