@Ted: Thank you! The workaround does solve the problem. I can also confirm that changing the default setting to "drag from titlebar, menubar, and toolbars" will also fix the problem (apparently the ruler is not included in those areas.)
@Ted: Thank you! The workaround does solve the problem. I can also confirm that changing the default setting to "drag from titlebar, menubar, and toolbars" will also fix the problem (apparently the ruler is not included in those areas.)