On Fri, 2004-11-05 at 21:52 +0000, Tomas Frydrych wrote:
>
> This fixes the position of numbers on the top ruler irrespective of
> zoom factor.
>
> Tomas
>
Not too important, but while doing my 'double-patch' work, I fixed this
as well, and with a more simple patch iirc. Will compare the patches.
Thanks.
Furthermore, this does not fix the issue on Unix, because getGuiFont is
fscked.
Not your fault of course, just to let the unix people know.
Bye!
Marc
Received on Fri Nov 5 23:44:00 2004
This archive was generated by hypermail 2.1.8 : Fri Nov 05 2004 - 23:44:00 CET