#102 Autohide pager location doesn't change when changing res.

[Anonymous]

I have a 12" PowerBook and a external display that I use when
I'm using the laptop at my desk. I'm using Desktop Manger v.0.5.2
rc2 and I have my pager configured to auto-hide on the bottom-left
corner of the screen. I generally plug the external display in when
the laptop lid is closed. When I do so I can see the pager drop
down to the correct location on the larger display (from it's old
location on the built-in display). However. the pager doesn't come
back from hiding when I bring the cursor down to it's new location.
I discovered that if I hit the spot where the pager used to sit, then
it will come back from hiding. Looks like the auto-hide feature isn't
getting informed of the new coordinates?