Remove a bunch of unused imports
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
Make "center views on selection" work when nothing is selected. Fixes #134.
Create a rotation widget class
Abstracted out a widget class
Added a pivot point to the rotation widget and tool
Make the edit action serialisable
Update the merging and vertex grouping logic in the VM tool. Fixes #139, fixes #140.
Add missing hotkeys for carve and hollow. Fixes #132.
Ignore clicking in the 3D view when space is held down to control the camera. Fixes #135.
Allow for decimal precision in numeric brush script controls. Fixes #127.
Add an option to allow users to toggle rounding of created brush vertices. Fixes #131.
Merge branch 'master' of https://github.com/KonstantinUb/sledge