[Rve-main] Problem solved

[Luca A. <luc...@em...>]

Hi all,

the problem that I reported yesterday was solved by changing the font
size to 8, as suggested by Jonas.

Now, everything is working very well (thanks, Jonas!!!). I hope the
"long long int" changes will be included in the next release (btw: are
releases announced somewhere? Also, is some kind of public cvs
available? That would help in following the development...).


			Thanks,
				Luca
-- 
_____________________________________________________________________________
Copy this in your signature, if you think it is important:
                               N O    W A R ! ! !