minor: switch dock widgets to right by default, rename Tools to Toolbox
make stuff in shape picker a bit bigger
a bit of polish: add keyboard shortcuts to actions, etc
add show/hide options for different kinds of objects