On Tue, 25 Jun 2013 13:46:13 +0200, andreas nastke wrote:
> should be located in '${PAN_HOME}preferences.xml' - near the bottom, i
> think
Thank you Andreas (& Duncan). That looks good.
When you say "...at the bottom", I suppose you mean 'the relevant
values for fonts/sizes'
I believe what I should do is - the first time I clone .pan2 - to
copy the whoile lot, then - on laptop/netbook - customise those
settings and then subsequently omit that file from cloning/restoring
in both directions.
--
/\/\aurice
_______________________________________________
Pan-users mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/pan-users
