[Top][All Lists]

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

Re: Showing end of buffer

From: Miles Bader
Subject: Re: Showing end of buffer
Date: 23 Apr 2003 10:35:51 +0900

Richard Stallman <address@hidden> writes:
> Perhaps the scroll bar arrows could change into some other shape
> when there is no further distance to scroll.

There are two problems I see with this -- (1) it may not be possible
with all the toolkit scrollbars (and at the least will require separate
code for each one), and (2) only works if you've got scrollbars turned

Personally, I often turn off the scrollbars, so a solution using the
fringe would be nice [anyway, as the fringe is reserved space that's
often empty, it'd be nice to have more uses for it!]

We live, as we dream -- alone....

reply via email to

[Prev in Thread] Current Thread [Next in Thread]