Re: Gnome pager - suggestions/bugs

[Daniel Burrows <Daniel_Burrows brown edu>]

  One more bug, when a window is rolled up it doesn't seem to get dealt
with correctly in the pager.  When you first roll it up, it's displayed
as a rectangle to the upper-left of its previous position; if you later
move it, it reverts to its unrolled-up display in the pager.

-- 
  Daniel Burrows

  Nothing is hopeless.

  PROOF:
(a) Assume the opposite.
(b) If something _is_ hopeless, then its condition can only improve.
(c) If its condition can only improve, then there must be hope for it.
(d) Therefore, nothing is hopeless.  QED.