23 Oct
2004
23 Oct
'04
2:05 a.m.
On 23/10/2004, at 9:46 AM, James Adam wrote:
Hello all.
I'm not sure why people have seized upon this font-size issue. It is, as a few people have already noted, a minor point, and anyone who really cares can change it just like I did. What is *really* important are the other, functional behaviour changes I suggested:
no need to repeat them -- we can see further up the thread :)
I just commented on the point which I knew the background of (in discussions with Allan), and which I had an opinion on.
Justin