[Denemo-devel] Denemo for Windows: fonts too big

[Alessandro Zabatta]

Hello to everyone,
I installed Denemo 0.8.10 for windows on a Toshiba laptop with 1024x768 
screen resolution and Windows XP Home, but menu fonts are too big so the 
application window is larger than the screen. The linux version works 
fine instead.
How can I reduce the font?

P.S. I have noticed a bug:
musicxml2lt.py doesn't work (probably because my Windows is in italian) 
because cannot find 'time.py'; copying 
\usr\lib\python2.4\timeit.py 
as
\usr\lib\python2.4\time.py
solve the problem.

Thanks in advance.
Alessandro Zabatta