Re: Gnome pager - suggestions/bugs

  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.

(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.

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]