Version 1.23 Added Features/Bug Fixes

1. If the shift key is held down when selecting a bunch of objects, already selected objects in the new selection will become unselected, and not previously selected objects but in the new selection will become selected.

2. Be able to edit text while zoomed out.

3. Improve the precision of text printing.

4. Use better mouse information.

5. Cosmetic changes so that it will pass lint or ibmrt's hc.