Millefori: magnify and some bugfixes

I have uploaded a new revision of Millefori (this is the link to download it).

Apart from a pair of minor bugfixes (rotate and renumber did not update the X clipoboard), the real new feature is the "magnify" option for millefori.py.

When using millefori on a high density screen or doing public demo, tracks can be too narrow. The "--magnify"" or "-m" option has an argument (int, 0 to 3). 0 is tiny, 3 is huge.

Magnification can be modified at runtime using crtl-plus and ctrl-minus

Renzo (discussioni) 09:25, 4 mag 2015 (CEST)