Minor fixes related to transparency rendering
Small optimisation to increase document switching speed
Change text rendering quality in the box tool so it works on pre-GL-1.4 graphics cards
Added basic support for a 3D rotation widget
Halfhearted start on game config detection
Stop the select tool from updating the display lists twice when shift-cloning
Optimised the update calls in the selection, vm, and texture tools
Made selection and editing a little bit quicker for large maps