[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: setting the window background?
From: |
Miles Bader |
Subject: |
Re: setting the window background? |
Date: |
Sun, 11 Mar 2012 08:51:32 +0900 |
Ivan Andrus <address@hidden> writes:
>> Unfortunately there's a bug that causes the default face to not work
>> quite how one might want in this case -- the space after the last
>> position in the buffer is not changed. However for some uses it may
>> be good enough.
>
> Has this bug been reported? I couldn't find it when I looked and am
> interested in getting it fixed. I am happy to report a bug if it
> hasn't been reported.
Not so far as I know.
I did spend some time trying to figure out how to fix it, but eventually
got completely lost in the maze of twisty little redraw code, all alike...
Thanks,
-miles
--
Vote, v. The instrument and symbol of a freeman's power to make a fool of
himself and a wreck of his country.