[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: /servers/default-pager
From: |
Thomas Bushnell, BSG |
Subject: |
Re: /servers/default-pager |
Date: |
14 Jun 2002 21:55:44 -0700 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Marcus Brinkmann <address@hidden> writes:
> I think so. It is a bit painful that the default pager is not robust
> against abuse, but the same is true for libpager, IIRC, and probably
> other parts of the system.
Of course. :)
I think the case with the default pager is perhaps a little more
severe, but the structural properties here are the right thing, and
when we get a Real default pager, it will have all the right
properties.