Proportional Fonts

Thanks to Jeff’s hard work, Woopsi now has two proportional font classes. One works with 1-bit fonts, whilst the other works with 16-bit fonts. I’ve tidied up the existing font classes a little to support this, moving things out of the base classes into the subclasses.

Jeff also supplied a new version of his “bmp2font” Python script, which will generate the sourcecode needed to describe one of the new fonts. This is included in a new “pythonscripts” folder.

Lastly, I’ve fixed a couple of bugs introduced when I refactored the click/focus system. Screens now receive focus correctly when clicked (and get raised up the gadget stack). They also get dragged properly - they were being dragged when clicked anywhere instead of just the title bar.