Possible bug in pager?

[Neal]

On Fri, 2003-03-07 at 21:44, Rob Park wrote:
> I'm not sure if this is a known issue, but when I put a window into
> windowshade mode, the full size of the window still shows in the pager.
> It seems like a bug to me (the pager should reflect what's on each
> desk), but this could just be a feature.
> 
> What does everybody think?

Since you asked everybody  :)
Sorry, I don't use the pager.
-- 
Neal