Window resizing bug?
 

Hi,

I just encountered unexpected behaviour in OmniGraffle Pro 4.1.2. Clicking the green window resize button resizes the window - so far so good - but also sends it out of the right screen edge, so that just the leftmost 200 pxs of the window are on the screen, buried under the palettes, which I have docked to the right screen edge.