Re: Strange Gnome-terminal behaviour
On 2016-09-25, Mark Fletcher <mark27q1@gmail.com> wrote:
> On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote:
>> On Sat, 24 Sep 2016 23:29:00 +0900
>> Mark Fletcher <mark27q1@gmail.com> wrote:
>>
>> > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote:
>> > > On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote:
>> > > > On Sat, Sep 24, 2016 at 03:28:41AM -0500, Dutch Ingraham wrote:
>> > > > >
>> > >
>
> Also I just ran mutt in an X terminal instead by invoking xterm from
> Gnome-Terminal, and although the font is horrible and the window is too
> small, it does NOT display the same psychotic intermittent scrolling
> behaviour.
[...]
FWIW, you can tell xterm to use freetype fonts, e.g.,
xterm -fa "Monospace 12"
Alternatively, use the faceName resource in your ~/.Xresources file.
--
Liam
Reply to: