[Zubersoft]

Looks like I confused myself. At one point in time, the tool sizes were going to be relative to the page size. When I thought about it for a while, I realized it would be a pretty poor/unintuitive experience to have a pen at size 4, for example, but that pen would appear to be a different size on each different PDF it was used. So I decided it was better to have the tool sizes be based on the screen of the tablet (so a pen size of 4 is four pixels thick on the screen regardless of the file), but the way I do that is by taking the amount the PDF page is scaled up, and diving four by that amount, so that I'm saving the size in terms of the raw PDF page. 

The real issue here with zooming is exactly what you described - if you've zoomed in 50% outside the annotations editor, and the PDF page is scaled up an additional 50%, you want the tool sizes to be scaled up 50% too so that it matches. So your thought process was right on the money. I'm going to see what it will take to scale all tool sizes not only by the amount that was zoomed in while in the annotations mode, but also any amount that was scaled while in the normal song view. Hopefully I can do this without causing any bugs, but it should be pretty easy to test.

Thanks,
Mike