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