Fix a too-small shape bug in the Default Tool

The shape resizing tool should not be able to make the shape have
zero size. So now the new size of the shape is limited by 1px of view
coordinates.